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: about 1 year ago coq-lattice A proof tactic for working with lattice structures in Coq
A reflection-based proof tactic for lattices in Coq