Geeks
MathiasVP
/
lattice
A Coq formalization of (bounded) lattices
Primary Language
Coq
MIT License
MIT
lattice GitHub
Markdown
Readme
1
Issue
4
Stargazers
5
Watchers
lattice
A Coq formalization of (bounded) lattices