Giters

kframework / matching-logic-prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Support for Coq's tactic syntax (`.`, `;`)

h0nzZik opened this issue · comments