Document containers, trees, extensions, neighborhoods, etc.

jonsterling / JonPRL

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

http://www.jonprl.org

MIT License

109 stars 9 forks source link

Document containers, trees, extensions, neighborhoods, etc. #231

Open jonsterling opened 8 years ago