settheory.net by Ciro Santilli 36 Updated +Created
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.

New to topics? Read the docs here!