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

Default Branch

main

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

Branches

dag-lattice-builder

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

0
15
 ZIP  TAR.GZ