Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Automath

< >

Automath is a programming language created in 1967 by Nicolaas Govert de Bruijn.

#1838on PLDB 58Years Old
HomepageWikipedia

Automath is a formal language and theorem prover for expressing and verifying complete mathematical theories, developed by Nicolaas Govert de Bruijn starting in 1967. It was the first practical system to exploit the Curry-Howard correspondence and introduced concepts like dependent types and typed lambda calculus.


- Build the next great programming language Add Add Prompt Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v178.2.1