zkdream.net
/
symmetries
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
symmetries/.agda-lib

5 lines
44 B
Plaintext
Raw Permalink Normal View History

push
2024-03-11 18:20:28 +00:00
name: agda-symmetries
depend:
.
cubical