Here are fixes for various statements and links to coq-community projects that changed. The only possibly-controversial change is the removal of the link to the website about the Gödel incompleteness proof - this is because the project is now maintained in coq-community and has all material one might want (paper link, etc.).
Here are fixes for various statements and links to coq-community projects that changed. The only possibly-controversial change is the removal of the link to the website about the Gödel incompleteness proof - this is because the project is now maintained in coq-community and has all material one might want (paper link, etc.).