Misplaced Pages

The following pages link to NuPRL

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 23 items.

• Automated theorem proving (links | edit)
• Type theory (links | edit)
• Index of philosophy articles (I–Q) (links | edit)
• Proof assistant (links | edit)
• Per Martin-Löf (links | edit)
• Dependent type (links | edit)
• Interactive Theorem Proving (conference) (links | edit)
• List of open-source software for mathematics (links | edit)
• Talk:Proof assistant (links | edit)
• Talk:Proof assistant/to do (links | edit)
• Talk:Homotopy type theory/Archive 1 (links | edit)
• User:Chalst/logic-watchlist (links | edit)
• User:Hotfeba/logic dictionary stubs (links | edit)
• User:Gregbard/old watchlist (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:Aniruddha22Paranjpye/Books/Proof Theory (links | edit)
• User:Alan Liefting/SuggestBot recommendations (links | edit)
• User:Tompw/Books/Mathematics (links | edit)
• User:Tompw/Books/Mathematics (N) (links | edit)
• User:Ushkin N/Comparison of programming languages/Types/Dependent types (links | edit)
• User:Ushkin N/Comparison of programming languages (links | edit)
• User talk:Nuprl (links | edit)
• Misplaced Pages:Suspected copyright violations/2015-02-26 (links | edit)