zkdream.net/symmetries
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
symmetries/Experiments
History
zk⁷ 0d85fceb1f push
2024-03-11 20:20:28 +02:00
..
Fin.agda push 2024-03-11 20:20:28 +02:00
FreeStr.agda push 2024-03-11 20:20:28 +02:00
FreeStrFin.agda push 2024-03-11 20:20:28 +02:00
ListArray.agda push 2024-03-11 20:20:28 +02:00
ListMon.agda push 2024-03-11 20:20:28 +02:00
Mon.agda push 2024-03-11 20:20:28 +02:00
Norm.agda push 2024-03-11 20:20:28 +02:00
TList.agda push 2024-03-11 20:20:28 +02:00