This repository is collected material and practice while learning about proof theory and how to use proof assistants.
./hilbert_prover/* naive Hilbert system theory searcher/prover
./fitch_stanford/* practice with the natural deduction tool from Stanford's Introduction to Logic course