D docs.imiron.io SpecForge – A Platform for Authoring Formal Specifications 81 points agnishom 3 months ago 12 comments