Skip to content

KaNeKi2298/Logic-in-computer-science-assignment

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
.gitattributes
.gitattributes
 
 
PostFix and Infix.cpp
PostFix and Infix.cpp
 
 
Validate Proof.cpp
Validate Proof.cpp
 
 

About

Propositional Logic Proof Validation and Tree Traversal.

Topics

propositional-proof-system
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages