DanilaFe/agda-spa
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
330 Commits 2 Branches 0 Tags 2.3 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

299938d97e · Add decidability proofs for properties · Updated 2025-12-07 22:25:47 -08:00    DanilaFe

0
15
 ZIP  TAR.GZ