Welcome to Modus Ponens!

This is a draft website for Modus Ponens project. Most of the features are work-in-progress. If you are interested, please ask for a live demo to etienne.callies[at]gmail.com.

Basically, the aim is to build and verify mathematical demonstrations. The idea is to minimize built-in definitions and propositions, and let user construct their theory from scratch.

Ready

Check existing terminologies or add you own ones.

Set

Check existing propositions and their demonstration. You can consider new propositions as admitted.

GO!

Start proving new propositions!