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
Felipe Cerqueira
requested to merge
felipec/rt-proofs:port-8.7
into
master
Dec 07, 2017
Overview
0
Commits
2
Pipelines
0
Changes
12
Expand
Merge request reports