Giters

womeier / lattice

A Coq formalization of (bounded) lattices

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lattice

A Coq formalization of (bounded) lattices

About

A Coq formalization of (bounded) lattices

License:MIT License

Languages

Language:Coq 100.0%