[go: up one dir, main page]

Skip to content

A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.

Notifications You must be signed in to change notification settings

markpock/fitch-proof-for-propositional-logic

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 

About

A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.

Topics

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages