Is there a public database for math proofs in a form where they can be read by computers?
http://us.metamath.org ?
Is there a public database for math proofs in a form where they can be read by computers?
http://us.metamath.org ?