SpecForge – A Platform for Authoring Formal Specifications

 (docs.imiron.io)

39 points | by agnishom 2 hours ago

1 comments

  • IshKebab 1 hour ago
    Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!