coq-lattice
by jwiegley
Coqpushed almost 3 years ago
A reflection-based proof tactic for lattices in Coq
AI summary
Lattice solver
A proof tactic for working with lattice structures in Coq
- stars
- 20
- forks
- 2
- watching
- 3
by jwiegley
A reflection-based proof tactic for lattices in Coq
AI summary
Lattice solver
A proof tactic for working with lattice structures in Coq