smt
Tactics for discharging Lean goals into SMT solvers.
of 4 packages depending on ufmg-smite/smt
1-4Sort by
Package Name
GasStationManager/FormalizeWithTestuses
0e0e28c
Autoformalization of coding problems, verified with test casesjoehendrix/lean-cryptouses
8cb2f22
Cryptographic routines for the Lean 4 languageproject-numina/libuses
9b81e91
Solving Competition Geometry Problems in Leanavigad/VerificationDemouses
0b41804
A temporary repository