The purpose of the Math Gate site is to provide a link
between formal (computer checkable) and informal (human readable) mathematics.
Currently the main content of the site is an online book
(
DeTSeT) in which the foundations of mathematics
are developed starting from some axioms of set theory.
In the future I would like the site to evolve into a formal blog.