GitHub - colinwinslow/proofmeister: Personal project to build a logical equivalence prover for proposition logic. Shows the entire derivation of its proof.

colinwinslow / proofmeister Public

Personal project to build a logical equivalence prover for proposition logic. Shows the entire derivation of its proof.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 86 Commits
.idea		.idea
model		model
tests		tests
.gitignore		.gitignore
.project		.project
.pydevproject		.pydevproject

About

Personal project to build a logical equivalence prover for proposition logic. Shows the entire derivation of its proof.

No releases published

No packages published