Updated the README.md file with more information about which theorems
are complete and which are still in progress.