Comment by nextos
15 hours ago
Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.
15 hours ago
Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.
Ada/SPARK may also be worth a look.