Type theory

Alternative to set theory, and some say it is better for proof assistants, and many of the most popular proof assistants of the 2020s use it e.g. Lean and Coq.

Video 1.

Why should you learn Type Theory? by Dapper Mink

. Source. Uses Lean syntax largely.

 Ancestors (6)

Formal system
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
 Home