1.7
Closed May 29, 2018
100% complete
Major release aligning the contents of the git repository with the released files
- split odd_order
- split ssrtest
- compatibility with Coq 8.8
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.