A simple, small proof checker that will accept a minimalist Lisp-ish syntax.
Categories
MathematicsLicense
BSD LicenseFollow probatur
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of probatur!