Proof Checker for a system of Propositional Logic.
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.
Proof Checker for a system of Propositional Logic
License
olligobber/ProofCheck
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proof Checker for a system of Propositional Logic
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published