-
Notifications
You must be signed in to change notification settings - Fork 83
Pull requests: MetaCoq/metacoq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update documentation in common/Environment.ml for inductive and constant declarations
#1128
opened Dec 12, 2024 by
MathisBD
Loading…
adapt to Zeq_bool:=Z.eqb (https://github.com/coq/coq/pull/19801)
#1112
opened Nov 3, 2024 by
andres-erbsen
•
Draft
Improve evar_map handling in tmMkDefinition and friends
#1111
opened Nov 1, 2024 by
MathisBD
Loading…
Only run nix on push events and if the word is in the commit message
#950
opened Apr 20, 2023 by
yforster
Loading…
Move some general utility lemmas from
TypingWf
to All_Forall
#913
opened Apr 8, 2023 by
JasonGross
•
Draft
Add some automation to
All_Forall
for proving via nth_error
#833
opened Jan 24, 2023 by
JasonGross
•
Draft
Run
make
to update template-coq/gen-src/cRelationClasses.mli.orig
#791
opened Nov 22, 2022 by
JasonGross
•
Draft
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.