8000 feat: add antitonicity lemmas for (co)inductive predicates by wkrozowski · Pull Request #8940 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: add antitonicity lemmas for (co)inductive predicates#8940

Merged
wkrozowski merged 1 commit intoleanprover:masterfrom
wkrozowski:wojciech/antitonicity
Jun 23, 2025
Merged

feat: add antitonicity lemmas for (co)inductive predicates#8940
wkrozowski merged 1 commit intoleanprover:masterfrom
wkrozowski:wojciech/antitonicity

Commits

Commits on Jun 23, 2025
0