Intuition (v. 0.30)

• Overview
• Download
• Documentation
• Contact

Overview

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

Download

• Source files of typechecker (v 0.30)
• Source files of prover (v 0.30)

Documentation

• User manual
• Progress report I on the prover
• Progress report II on the prover

Contact

People who develop Intuition are:

• Maciej Zielenkiewicz,
• Marcin Benke,
• Jacek Chrzaszcz,
• Aleksy Schubert.

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