Changed from .php to .html and added descriptions of proofs to readme