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«