GitHub - theoremprover-museum/PLTP: The Edinburgh Pure Lisp Theorem Prover (Boyer/Moore)

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
bugs		bugs
listings-f-and-h		listings-f-and-h
pltpa		pltpa
pltpo		pltpo
pltpr		pltpr
scanned-images		scanned-images
POP-2-4100-Users-Manual-OCR.pdf		POP-2-4100-Users-Manual-OCR.pdf
POP-2-Reference-Manual.pdf		POP-2-Reference-Manual.pdf
index.html		index.html
pretty-print.pdf		pretty-print.pdf