SpecForge – A Platform for Authoring Formal Specifications docs.imiron.io 46 points by agnishom 3 hours ago
abbasov_murad 20 minutes ago This method is certainly good to learn, but I had some difficulties understanding it
IshKebab 2 hours ago Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!
This method is certainly good to learn, but I had some difficulties understanding it
Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!