Port to Coq 8.10 (!48) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

The source project of this merge request has been removed.

Pierre Roux requested to merge proux/nc-coq:coq810 into master Oct 15, 2019

Compiles with Coq 8.10 and ssreflect 1.9. Let's wait for CI to see whether it is backward compatible.

Port to Coq 8.10