egison / egison-prover

Proof writing language with Egison pattern matching

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

egison/egison-prover Stargazers