Formal2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
of 7 dependencies of Formal2024
1-7Sort by
Require Order
- std
3298387
- Qq
64365c6
- aesop
5fefb40
- proofwidgets
fb65c47
- Cli
be8fa79
- importGraph
61a7918
- mathlib
7e8cd2b
3298387
64365c6
5fefb40
fb65c47
be8fa79
61a7918
7e8cd2b