coq_lean_translation
of 7 dependencies of coq_lean_translation
1-7Sort by
Require Order
- std
0d0ac1c
- Qq
1c88406
- aesop
24a4e8f
- proofwidgets
8dd1835
- Cli
a751d21
- importGraph
7d051a5
- mathlib
68c771a
0d0ac1c
1c88406
24a4e8f
8dd1835
a751d21
7d051a5
68c771a