sigurdschneider/smpl

A Coq plugin providing an extensible tactic similar to first.

语言：OCaml · GitHub 星标：6 · Fork：6

在 GitHub 上查看原仓库