3 ms·

Have you tried dafny, which seems roughly comparable for your purposes? I heard some buzz about it a little while ago but I haven't been following this space cl

by grogers 5mo ago

Have you tried dafny, which seems roughly comparable for your purposes? I heard some buzz about it a little while ago but I haven't been following this space closely.

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