-
Notifications
You must be signed in to change notification settings - Fork 79
Pull requests: MetaCoq/metacoq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Adapt to coq/coq#19620 (Global.push_context_set no strict argument)
#1104
opened Oct 1, 2024 by
SkySkimmer
•
Draft
Bump cachix/install-nix-action from V28 to 29
dependencies
#1103
opened Sep 26, 2024 by
dependabot
bot
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
ProTip!
What’s not been updated in a month: updated:<2024-09-01.