Source: /cirosantilli/metamath

= Metamath
{c}
{wiki}

http://metamath.org/

It seems to implement <Zermelo-Fraenkel set theory>.