A simple, small proof checker that will accept a minimalist Lisp-ish syntax.

Project Activity

See All Activity >

Categories

Mathematics

License

BSD License

Follow probatur

probatur Web Site

Other Useful Business Software
Eliminate the Gap Between Dev and Ops Icon
Eliminate the Gap Between Dev and Ops

For engineers searching for a platform that helps deploy best-practice cloud architectures

Design, scale, automate, and observe robust cloud architectures with just a few clicks. Massdriver's platform orchestrator enables developer self-service through an intuitive visual interface operations teams trust.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of probatur!

Additional Project Details

Intended Audience

Science/Research, Education

User Interface

Command-line

Programming Language

Scheme

Related Categories

Scheme Mathematics Software

Registered

2008-10-09