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
Issues
Closed issue
Unable to locate library dec.
#1 opened
5 years ago
by
jensgerlach
1