Hacker News
new
|
ask
|
show
|
jobs
SpecForge – A Platform for Authoring Formal Specifications
(docs.imiron.io)
75 points
by
agnishom
18 hours ago
|
10 comments
Loading...
