Tags
- 7
- 70s
- ArXiv
- ASCII
- Automated proof checking
- AVE Mizar
- Bell Rocket Belt
- Cambridge University Press
- Change the World
- Classical logic
- Coq
- Declarative programming
- DOI
- Economics
- Exponent
- Formal language
- Free Pascal
- Gödel's completeness theorem
- HDL
- HOL Light
- Implementation of mathematics in set theory
- International Standard Book Number
- Invention
- Inventions
- Isar
- Jet pack
- Metamath
- Mizar
- Natural number
- Peer review
- Probability theory
- Programming paradigm
- Proof assistant
- Sadhana
- Set
- Set theory
- Shinshu University
- Software design
- Strong and weak typing
- Tarski–Grothendieck set theory
- The world
- Type system
- University of Alberta
- University of Białystok
- Vernacular
- Wayback Machine
- Wiki
- World