 Type theory (source code)

by Ciro Santilli (@cirosantilli, 37)

= Type theory
{wiki}

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[https://www.youtube.com/watch?v=QRrcwahx-3s]
{title=Why should you learn Type Theory? by Dapper Mink}
{description=Uses <Lean> syntax largely.}

 Back to article page