Skip to content
GitLab
Explore
Sign in
Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.4
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.4
Felipe Cerqueira
requested to merge
felipec/rt-proofs:port-8.7
into
master
Dec 07, 2017
Overview
0
Commits
2
Pipelines
0
Changes
12
Merge request reports
Loading