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