-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: uds-psl/autosubst-ocaml
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Adapt to rocq-prover/rocq#21955 (rm coq-core libraries)
#35
opened Apr 29, 2026 by
SkySkimmer
Contributor
Loading…
Always add sort as a vertex to the graph in case it is a simple enum
#30
opened Oct 27, 2025 by
yiyunliu
Loading…
Make unscoped.v compatible with double-blind review
#25
opened Mar 31, 2025 by
yforster
Member
Loading…
Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint
#21
opened Oct 24, 2024 by
herbelin
Loading…
Adapt to Coq PR #19404: an algebra of types for the instances of notation variables
#19
opened Jul 21, 2024 by
herbelin
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.