Ciro Santilli @cirosantilli 37

 Incoming links: Set theory

Set theory Updated 2025-10-14

When Ciro Santilli says set theory, he basically means. Zermelo-Fraenkel set theory.

 Read the full article

Type theory 2025-10-14

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.

Why should you learn Type Theory? by Dapper Mink

. Source. Uses Lean syntax largely.

 Read the full article