Skip to content

Pull requests: RedPRL/kado

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

build(deps): bump actions/checkout from 3 to 4 dependencies Pull requests that update a dependency file
#14 by dependabot bot was merged Sep 4, 2023
fix: adjust signatures to hide parameters
#13 by favonia was merged Aug 30, 2023
feat: dimension inequalities
#9 by favonia was merged May 26, 2022
build(deps): bump RedPRL/actions-ocaml from 1 to 2 dependencies Pull requests that update a dependency file
#7 by dependabot bot was merged Apr 30, 2022
feat(Theory): Disj.forall_cof
#6 by favonia was merged Apr 17, 2022
refactor(CofThy)!: rearrange CofThy.Param
#5 by favonia was merged Apr 7, 2022
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.