Follow @
OH
P
toward a port of Bob Neveln's proofcheck work (based on Morris's logic) to scala http://proofcheck.org/
No tags have been added