SpecForge – A Platform for Authoring Formal Specificationsdocs.imiron.io
42 points by agnishom 3 hours ago | 1 comment