zkdream.net
/
symmetries
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
free monoids & free commutative monoids
1 Commit 1 Branch 0 Tags 102 KiB
Agda 100%
Go to file
zk⁷ 0d85fceb1f push 2024-03-11 20:20:28 +02:00
Cubical/Structures push 2024-03-11 20:20:28 +02:00
Experiments push 2024-03-11 20:20:28 +02:00
.agda-lib push 2024-03-11 20:20:28 +02:00
Everything.agda push 2024-03-11 20:20:28 +02:00
index.agda push 2024-03-11 20:20:28 +02:00