Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
V8.8+beta1
Maxime Dénès
@maximedenes
8dee3cd5
·
Merge PR #7010: Revert "Merge PR #6651: Use r.(p) syntax to print primitive projectio…
·
Mar 16, 2018
Version 8.8+beta1 of Coq