auto
Experiments in automation for Lean
of 2 packages depending on leanprover-community/auto
1-2Sort by
Package Name
leanprover-community/Duperuses
4d73b99
ufmg-smite/smtuses
fa3040a
Tactics for discharging Lean goals into SMT solvers.
4d73b99
fa3040a