-
Notifications
You must be signed in to change notification settings - Fork 97
Pull requests: MetaRocq/metarocq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add a with_eta checker flag, and trusted implementation in safeconversion
#1260
opened Mar 20, 2026 by
mattam82
Member
Loading…
Bump cachix/cachix-action from 16 to 17
dependencies
#1256
opened Mar 19, 2026 by
dependabot
bot
Loading…
Bump cachix/cachix-action from 16 to 17
dependencies
#1255
opened Mar 19, 2026 by
dependabot
bot
Loading…
Bump cachix/cachix-action from 16 to 17
dependencies
#1254
opened Mar 19, 2026 by
dependabot
bot
Loading…
Bump cachix/cachix-action from 16 to 17
dependencies
#1253
opened Mar 19, 2026 by
dependabot
bot
Loading…
Adapt to rocq-prover/rocq#21773 (sort poly cumulativity)
#1250
opened Mar 18, 2026 by
SkySkimmer
Contributor
•
Draft
Correct a broken link to the dependency graph
#1180
opened May 8, 2025 by
MevenBertrand
Member
Loading…
Improve evar_map handling in tmMkDefinition and friends
#1111
opened Nov 1, 2024 by
MathisBD
Collaborator
Loading…
Only run nix on push events and if the word is in the commit message
#950
opened Apr 20, 2023 by
yforster
Member
Loading…
Move some general utility lemmas from
TypingWf to All_Forall
#913
opened Apr 8, 2023 by
JasonGross
Contributor
•
Draft
Add some automation to
All_Forall for proving via nth_error
#833
opened Jan 24, 2023 by
JasonGross
Contributor
•
Draft
Run
make to update template-coq/gen-src/cRelationClasses.mli.orig
#791
opened Nov 22, 2022 by
JasonGross
Contributor
•
Draft
Define a minimal subset of Module(Type) Declarations in template-coq
#739
opened Jul 13, 2022 by
yeejian-tan
Contributor
•
Draft
Previous Next
ProTip!
Updated in the last three days: updated:>2026-04-17.