coq-lattice
Lattice solver
A proof tactic for working with lattice structures in Coq
A reflection-based proof tactic for lattices in Coq
20 stars
3 watching
2 forks
Language: Coq
last commit: almost 2 years ago A proof tactic for working with lattice structures in Coq
A reflection-based proof tactic for lattices in Coq