# Pandamonium Theorem Prover
This is the main repository for the Technical Software Project