Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gappa
coq
Repository
coq
src
Gappa_pred_fixflt.v
Find file
Blame
History
Permalink
Adapt to Coq 8.18.
· 97ef75de
Guillaume Melquiond
authored
Sep 20, 2023
97ef75de