8000 chore: rename (co)inductive predicates keyword and the names of their associated fixpoint (co)induction principles by wkrozowski · Pull Request #8948 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: rename (co)inductive predicates keyword and the names of their associated fixpoint (co)induction principles#8948

Merged
nomeata merged 3 commits intoleanprover:masterfrom
wkrozowski:wojciech/coinduction_name_change2
Jun 23, 2025
Merged

chore: rename (co)inductive predicates keyword and the names of their associated fixpoint (co)induction principles#8948
nomeata merged 3 commits intoleanprover:masterfrom
wkrozowski:wojciech/coinduction_name_change2

Commits
0