auto
Experiments in automation for Lean
1-2 of 2 packages depending on leanprover-community/auto
Sort by
Package Name
leanprover-community/Duperuses
997d810ufmg-smite/smtuses
128b097Tactics for discharging Lean goals into SMT solvers.
997d810128b097