Skip to content

Pull requests: coq-community/hydra-battles

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

E0 coercion
#176 opened Jan 29, 2024 by Casteran Draft
Pr156
#159 opened Sep 5, 2023 by Casteran Draft
PR for branch legacy
#150 opened Apr 24, 2023 by Casteran Draft
Use master version of Coq in Nix CI.
#141 opened Jan 4, 2023 by Zimmi48 Loading…
Stdpp compat
#110 opened Dec 16, 2021 by Casteran Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.