auto
Experiments in automation for Lean
of 5 packages depending on leanprover-community/auto
1-5Sort by
Package Name
leanprover-community/Duperuses
b9a5fa7
GasStationManager/FormalizeWithTestuses
5367bcd
Autoformalization of coding problems, verified with test casesJOSHCLUNE/Hammeruses
9a558f4
hanwenzhu/hammer-demouses
9a558f4
ufmg-smite/smtuses
cd38a18
Tactics for discharging Lean goals into SMT solvers.