kendroe/CoqRewriter

This library is a Coq ML tactic implementing an advanced rewriting algorithm similar but more powerful than what exists in Isabelle.

语言：OCaml · GitHub 星标：5 · Fork：0

在 GitHub 上查看原仓库