SpecForge – A Platform for Authoring Formal Specifications

by agnishom | View on Hacker News