Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.