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.

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.