Skip to content
GitLab
Explore
Sign in
The source project of this merge request has been removed.
Fix w.r.t. coq/coq#10764.
Expand sidebar
Fix w.r.t. coq/coq#10764.
Ghost User
requested to merge
(removed):btt-on-coinductive
into
master
Sep 19, 2019
Overview
2
Pipelines
0
Changes
1
Backward compatible, mergeable as-is.
Merge request reports
Loading