Metamath (source code)

by Ciro Santilli (@cirosantilli, 37)
= Metamath
{c}
{wiki}

http://metamath.org/

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

Back to article page