### David Roberts

Shared publicly -Ambitious, but well-thought out.

+Peter Murray-Rust is interested in the extraction of semantics from such poor sources as publishers' pdfs.

+Peter Murray-Rust is interested in the extraction of semantics from such poor sources as publishers' pdfs.

http://www.abstractmath.org/Word%20Press/?p=9750 A proposal for a repository for proof-checked math

Introduction This post is about taking texts written in mathematical English and the symbolic language and encoding it in a formal language that could be tested by an automated proof verifier. This...

1

Add a comment...