3 ms·
Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.
by nextos 5mo ago
Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.
- v9v 5mo agoAda/SPARK may also be worth a look.