Mathgate was the home of the 2014 Bitcoin Theorem Proving Treasure Hunt.
As a consequence of server problems in early 2016, most of the content is no longer here.
The main exception is the final open source product: the proof checker Egal.
Also, some of the videos made to support the treasure hunt are available at watchmybit.com.
If you're looking for Satallax, it's been segregated to here on account of discrimination against dot com domains.