Skip to content

Retire classic Prosa

Björn Brandenburg requested to merge retire-classic-prosa into master

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)

Edited by Björn Brandenburg

Merge request reports