M1F-explained
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Sort by
Require Order
proofwidgets
a0c2cd0
Cli
5a858c3
mathlib
461da4a
The math library of Lean 4Qq
81cc13c
aesop
354432d
std
17c3833