SpecForge – A Platform for Authoring Formal Specifications
By agnishom · 2026-07-29 · 20 points · 0 comments
https://docs.imiron.io/v/0.5.10/en/tour.html
By agnishom · 20 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews