scott-fleischman/PRL Reading Log.md

Created January 29, 2016 06:23

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/scott-fleischman/f8f63bc632b255fad394.js"></script>
Save scott-fleischman/f8f63bc632b255fad394 to your computer and use it in GitHub Desktop.

PRL Reading Log

Raw

Writing Programs That Construct Proofs, Constable et al. 1984.
Beautiful introduction. Quite readable without much knowledge. Discusses λ-PRL. Defines tactics and tacticals.

Constructive Mathematics and Automatic Program Writers, Constable 1971

Lots of literature here

scott-fleischman/PRL Reading Log.md

Select an option

No results found

Select an option

No results found