smt
Tactics for discharging Lean goals into SMT solvers.
1-2 of 2 packages depending on ufmg-smite/smt
Sort by
Package Name
joehendrix/lean-cryptouses
8cb2f22Cryptographic routines for the Lean 4 languageavigad/VerificationDemouses
0b41804A temporary repository