Misplaced Pages

The following pages link to Automath

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

Showing 30 items.

• Automated theorem proving (links | edit)
• Type theory (links | edit)
• Mizar system (links | edit)
• Curry–Howard correspondence (links | edit)
• Lambda cube (links | edit)
• Logical framework (links | edit)
• Nicolaas Govert de Bruijn (links | edit)
• AUTOMATH (redirect page) (links | edit)
  • Explicit substitution (links | edit)
  • User:Brighterorange (links | edit)
• Automath theorem prover (redirect page) (links | edit)
  • User:Hotfeba/logic dictionary stubs (links | edit)
  • User:Gregbard/old watchlist (links | edit)
• History of type theory (links | edit)
• List of open-source software for mathematics (links | edit)
• Talk:Billion-Dollar Brain (links | edit)
• Talk:Curry–Howard correspondence (links | edit)
• Talk:Proof assistant (links | edit)
• Talk:Automath (transclusion) (links | edit)
• Talk:Proof assistant/to do (links | edit)
• Talk:Mizar system (links | edit)
• User:Brighterorange (links | edit)
• User:Chalst/logic-watchlist (links | edit)
• User:Sloth monkey (links | edit)
• User:Sloth monkey/contributions (links | edit)
• User:Sloth monkey/Titles (links | edit)
• User:Gregbard/old watchlist (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:GraphTheoryProf/Spring2013 (links | edit)
• User:K Smeltz/Books/To Make a Mockingbird (links | edit)
• User:Tellofou/sandbox (links | edit)
• User:AhoChan/sandbox (links | edit)
• User:Tule-hog/All Computing articles (links | edit)
• Misplaced Pages:Reference desk/Archives/Miscellaneous/2007 December 10 (links | edit)