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