zkdream.net/symmetries
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
free monoids & free commutative monoids
1 commit 1 branch 0 tags 102 KiB
Find a file
Exact
cat 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