Catt
Main for CATT.
Lang
Core part of the language.
Prover
Interaction with user.