GitXplorerGitXplorer
M

lattice

public
4 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
868b3576211811ec5553634fd314543e7110e522

Simplified dec dependency

committed 5 years ago
Unverified
53d7d26b06b081ea31bf461de4562b8c448b8885

Added dec.v dependency

committed 5 years ago
Unverified
2ab31071f30cdaf24489a719e42184fe70f6f54b

Removed the old module structure: We're now using typeclasses

committed 5 years ago
Unverified
f3f98e2c466ff9fe436af6214ee51b45bedd9b37

Removed parametric morphisms as they are deprecated (and replaced them

committed 5 years ago
Unverified
7a77b9d12e5bcf93a413e3a9ed0c84701aae5a72

last cleanup before sleep

committed 6 years ago
Unverified
1e32bebfb3cbbf756541a57ae16be9e488583a7a

Merge branch 'master' of https://github.com/MathiasVP/lattice

committed 6 years ago

README

The README file for this repository.

lattice

A Coq formalization of (bounded) lattices