LeanLion
Code for Singapore Workshop on Formal Proofs and Lean
Sort by
Require Order
LeanAideTools
54587fe
Tools, specifically for running tactics in the background, with minimal dependenciesmathlib
v4.22.0
The math library of Lean 4
54587fe
v4.22.0