auto
Experiments on automation for Lean
of 10 packages depending on leanprover-community/auto
1-10Sort by
Package Name
leanprover-community/Duperuses
b9a5fa7
GasStationManager/FormalizeWithTestuses
5367bcd
Autoformalization of coding problems, verified with test casesJOSHCLUNE/Hammeruses
1e5d9f1
hanwenzhu/hammer-demouses
1e5d9f1
siddhartha-gadgil/leanaideuses
1e5d9f1
Tools based on AI for helping with Lean 4GasStationManager/LeanTooluses
1e5d9f1
A "code intepreter" for Leanproject-numina/libuses
f1ed94c
Solving Competition Geometry Problems in LeanFredRaj3/SemicircleLawuses
1e5d9f1
Formalization of Wigner's Semicircle Law in Leanufmg-smite/smtuses
9c13e67
Tactics for discharging Lean goals into SMT solvers.verse-lab/veiluses
ec89836
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.