OurBigBook
About
$
Donate
Sign in
+
Sign up
settheory.net
ID: settheory-net
Top articles
Latest articles
+
New article in topic
Show body
Body
0
settheory.net
by
Ciro Santilli
36
Updated
2025-04-24
+
Created
1970-01-01
settheory.net/
Where
Sylvain Poirier
dumps his
mathematics
and
physics
brain
.
Notably, given the
domain name
, it is clear that he likes
formalization of mathematics
-stuff, like
Ciro Santilli
.
At
first
glance, looks
a
bit
dry though, not many examples.
Total
articles
:
1
New to
topics
?
Read the docs here!