Hacker News new | ask | show | jobs
by nextos 50 days ago
Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.
1 comments
v9v 49 days ago
Ada/SPARK may also be worth a look.
link