automath : Related Words Words similar in meaning to automath
- autodidact«
- self-taught«
- correctness«
- polymath«
- curryhoward correspondence«
- complete mathematical theory«
- automath system«
- freek wiedijk«
- type inhabitation«
- benthem jutting«
- qed manifesto«
- explicit substitution«
- proof checker«
- nicolaas govert de bruijn«
- mizar system«
- proof assistant«
- dependent type«
- provability«
- logical framework«
- edmund landau«
- practical system«
- bruijn«
- lambda calculus«
- mathematics«
- formal language«
- ph.d. thesis«
- emptiness«
- question«
- homepage«
- proposition«
- howard«
- correspondence«
- mirror«
- notion«
- proof«
- workshop«
- analysis«
- category«
- writing«
- foundation«
- set«
- system«
- development«
- reference«
- time«
Sharpen your Skills with the Masters
Tools of Titans: The Tactics, Routines, and Habits of Billionaires, Icons, and World-Class Performers
ProBlogger: Secrets for Blogging Your Way to a Six-Figure Income
The War of Art: Break Through the Blocks and Win Your Inner Creative Battles
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race