msakai/tppmark2020
My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).
HaskellBSD-3-Clause
Stargazers
No one’s star this repository yet.
My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).
HaskellBSD-3-Clause
No one’s star this repository yet.