thesis-proposal

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star0 (0)You must be signed in to star a repository

About

Henry DeYoung's PhD thesis proposal

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

26 Commits

26 Commits

Folders and files

Name		Name	Last commit message	Last commit date
ch		ch
slides		slides
.gitignore		.gitignore
binary-counter.sty		binary-counter.sty
bubble.sml		bubble.sml
classic-proposal.tex		classic-proposal.tex
hdeyoung-proposal.cls		hdeyoung-proposal.cls
logic.sty		logic.sty
msill.sty		msill.sty
ordered-logic.sty		ordered-logic.sty
osill.tex		osill.tex
predicates.sty		predicates.sty
proof-dashed.sty		proof-dashed.sty
proposal.bib		proposal.bib
proposal.tex		proposal.tex
turing-add-new.txt		turing-add-new.txt
turing-add.txt		turing-add.txt
turing.txt		turing.txt
View all files

About

Henry DeYoung's PhD thesis proposal

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages