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«