Pages that link to "Automath"
← Automath
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 (transclusion) (links | edit)
- AUTOMATH (redirect page) (links | edit)
- Explicit substitution (links | edit)
- User:Brighterorange (links | edit)
- Automath theorem prover (redirect page) (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)
- Wikipedia:Reference desk/Archives/Miscellaneous/2007 December 10 (links | edit)