kendroe/CoqRewriter
This library is a Coq ML tactic implementing an advanced rewriting algorithm similar but more powerful than what exists in Isabelle.
OCamlGPL-3.0
No issues in this repository yet.
This library is a Coq ML tactic implementing an advanced rewriting algorithm similar but more powerful than what exists in Isabelle.
OCamlGPL-3.0
No issues in this repository yet.