Skip to content

russjohnson09/sentential-logic

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits

.project

.project

 
 

.pydevproject

.pydevproject

 
 

README

README

 
 

README~

README~

 
 

__init__.py

__init__.py

 
 

auto-git.py

auto-git.py

 
 

project.html

project.html

 
 

quacker.txt

quacker.txt

 
 

quacker2.txt

quacker2.txt

 
 

quacker2.txt~

quacker2.txt~

 
 

sentential.py

sentential.py

 
 

simple-recursive-decent.py

simple-recursive-decent.py

 
 

syntax.py

syntax.py

 
 

syntax.pyc

syntax.pyc

 
 

unittest.py

unittest.py

 
 

wff.py

wff.py

 
 

Repository files navigation

This is my senior project at Grand Valley State University. I hope to be able to take a proof written in the Hilbert style and decide whether or not it is logically sound. I chose the Hilbert style, because it is one of the simplest proofs for a computer to read.

About

No description, website, or topics provided.

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages