Simple Hilbert-style prover for implicational fragment.
Primary LanguagePython
This repository is not active