Hacker News new | ask | show | jobs
SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io)
45 points by agnishom 3 hours ago
2 comments
abbasov_murad 11 minutes ago
This method is certainly good to learn, but I had some difficulties understanding it
link
IshKebab 2 hours ago
Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!
link