ProofCheck

Proof Checker for a system of Propositional Logic.

Contributors

Special thanks to moku for designing the visual appearance of ProofCheck.

Thanks to Nikita Prokopov for designing the font FiraCode, and helping modify it for use in ProofCheck.