Helps with Dafny code creation and verification
2.5400+
writes models and proofs
3.7200+
delegates tasks to an SMT solver
80+
helps you solve optimization problems
helps you write and execute miniKanren programs
10+
