SpecForge – A Platform for Authoring Formal Specifications

 (docs.imiron.io)

80 points | by agnishom 2 days ago ago

13 comments