mark / proof_machine

A library for evaluating proofs in propositional calculus

Geek Repo

Github PK Tool