michael/unimath2024
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
unimath2024/unimath2024.agda-lib

2 lines
39 B
Text
Raw Permalink Normal View History

exercises
2024-07-29 22:45:35 +00:00
depend: agda-unimath cubical
update
2024-07-29 19:39:10 +00:00
include: .
Reference in a new issue Copy permalink