Test Coq 8.17, clean up stale files.#116

Zimmi48 merged 2 commits intomasterrocq-community/math-classes:masterfrom

test-8.17rocq-community/math-classes:test-8.17Copy head branch name to clipboard