michael/unimath2024
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
unimath2024/unimath2024.agda-lib
Michael Zhang 6e66d5c76d exercises
2024-07-29 17:45:35 -05:00

2 lines
39 B
Plaintext
Raw Permalink Blame History

depend: agda-unimath cubical
include: .
Reference in a new issue View git blame Copy permalink