Retire classic Prosa
Remove the classic module from the source tree, to speed up CI and to avoid having to maintain it going forward as we adopt newer Coq and mathcomp versions.
Closes: #98 (closed)
Remove the classic module from the source tree, to speed up CI and to avoid having to maintain it going forward as we adopt newer Coq and mathcomp versions.
Closes: #98 (closed)