LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover Paper • 2407.17227 • Published Jul 24
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems Paper • 2406.03847 • Published Jun 6