unimath2024/unimath2024.agda-lib
2024-07-29 17:45:35 -05:00

2 lines
39 B
Plaintext

depend: agda-unimath cubical
include: .