madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
Primary LanguageC++