rocq-community/aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

语言：OCaml · GitHub 星标：36 · Fork：26

话题：coq · coq-ci · coq-platform · coq-plugin · coq-tactic · docker-coq-action · nix-action

在 GitHub 上查看原仓库