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: over 1 year ago