DanilaFe/agda-spa
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
330 Commits 2 Branches 0 Tags 2.2 MiB

Default Branch

main

f5457d8841 · Move proof of least element into FiniteHeightLattice · Updated 2025-07-26 04:16:22 -07:00
 ZIP  TAR.GZ

Branches

dag-lattice-builder

84c4ea6936 · Prove final postulate about cycles in graphs · Updated 2025-11-29 22:46:49 -08:00    DanilaFe

0
12
 ZIP  TAR.GZ