Overview

Intuition is a theorem prover and proofchecker based upon automata theory.

Download

Documentation

Contact

People who develop Intuition are:

If you want to contact us, please email to: alx _@_ mimuw _._ edu _._ pl . Especially, when you discover a bug.


Valid HTML 4.01! Valid CSS!