orenty7/symmetry
Watch
1
0
Fork
You've already forked symmetry
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
4 commits 1 branch 0 tags 10 KiB
  • Agda 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Shlyakhtun Prokhor 56e5c297df Continue working on equivalences + minor refactoring
2026-11-09 15:32:43 +04:00
src Continue working on equivalences + minor refactoring 2026-11-09 15:32:43 +04:00
.gitignore Initial commit 2026-10-27 18:30:14 +04:00
symmetry.agda-lib Initial commit 2026-10-27 18:30:14 +04:00