English Egomath Cited by user Egofofo on 26 Oct 2012 Egomath is a mathematical search engine developed at the Charles University in Prague.
English Mizar system Cited by user Y256 on 22 Jul 2012 The Mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in…