Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Forks
3 forks: 2 public, 0 internal, and 1 private
Created date
GILBERT Gaëtan /
coq
Merge PR #18875: Add test for #18256 fixed by #18642 (universes of side effects)
0
Updated
Apr 16, 2024
0
0
Updated
Apr 16, 2024
Maxime Dénès /
coq
Merge PR #17978: Statically eta-expand VERNAC actions in coqpp.
0
Updated
Aug 28, 2023
0
0
Updated
Aug 28, 2023