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

1c2bcc2d92 · Require bottom element to actually be bottom; finish proof · Updated 2026-02-17 04:15:10 +00:00    DanilaFe

0
33
 ZIP  TAR.GZ