Set theory with types

2025-11-22 · GoKawiil brief, based on reporting by lawrencecpaulson.github.io · Read the original →

read original get Mathematical Theory → more articles

GoKawiil has not published a brief for this story yet.

Source: lawrencecpaulson.github.io, 2025-11-22

Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.

Explore topics: mathbb mathbb mathbb set theory sets theory