Skip to content

feat: prove that omega-regularity is closed under union and is universe-polymorphic#168

Merged
fmontesi merged 10 commits into
leanprover:mainfrom
ctchou:na-sum
Nov 20, 2025
Merged

feat: prove that omega-regularity is closed under union and is universe-polymorphic#168
fmontesi merged 10 commits into
leanprover:mainfrom
ctchou:na-sum

minor modification

0efad79
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.