zkdream.net/symmetries
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
symmetries/Cubical/Structures/Set/CMon/SList
History
zk⁷ 0d85fceb1f push
2024-03-11 20:20:28 +02:00
..
Sort push 2024-03-11 20:20:28 +02:00
Base.agda push 2024-03-11 20:20:28 +02:00
Length.agda push 2024-03-11 20:20:28 +02:00
Membership.agda push 2024-03-11 20:20:28 +02:00
Seely.agda push 2024-03-11 20:20:28 +02:00
Sort.agda push 2024-03-11 20:20:28 +02:00