Name		Name	Last commit message	Last commit date
src		src
test		test
.gitattributes		.gitattributes
.gitignore		.gitignore
FiraCodeFixed-Regular.ttf		FiraCodeFixed-Regular.ttf
LICENSE		LICENSE
README.md		README.md
index.css		index.css
index.html		index.html
index.js		index.js
makefile		makefile
packages.dhall		packages.dhall
spago.dhall		spago.dhall
todo		todo

Repository files navigation

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.

About

Proof Checker for a system of Propositional Logic

olligobber.github.io/ProofCheck/

Apache-2.0 license

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages