Hacker News new | ask | show | jobs
by pjmlp 2058 days ago
You can also do it in Ada/SPARK, Eiffel DBC, F*, Dafny.