My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool