Randall-Holmes.github.io

repository for my home page

Name		Name	Last commit message	Last commit date
Latest commit History 310 Commits
Bibliography		Bibliography
Drafts		Drafts
Gottlob		Gottlob
Lestrade		Lestrade
Loglan		Loglan
Marcel		Marcel
Nfproof		Nfproof
Papers		Papers
Personal		Personal
RTT		RTT
Watson		Watson
E-to-L-TRH.html		E-to-L-TRH.html
Lecahier10.gif		Lecahier10.gif
README.md		README.md
TMVW talk slides.odp		TMVW talk slides.odp
Teacher 1.png		Teacher 1.png
Teaching Math in Virtual Worlds.html		Teaching Math in Virtual Worlds.html
coislides.pdf		coislides.pdf
content.jfif		content.jfif
cover-art.png		cover-art.png
errata.pdf		errata.pdf
errata.tex		errata.tex
errata.txt		errata.txt
head.pdf		head.pdf
holmesvita.pdf		holmesvita.pdf
holmesvita.tex		holmesvita.tex
index.html		index.html
mini-me.jpg		mini-me.jpg
nf.html		nf.html
nfsummary.html		nfsummary.html
planet.html		planet.html
proofsetslogic.pdf		proofsetslogic.pdf
purefalse.sml		purefalse.sml
sfdocs.pdf		sfdocs.pdf
sfdocs.tex		sfdocs.tex

Navigation Menu