Skip to content

fix: Resolving name clashing issue with size_push theorem and syntax error#91

Merged
seanmcl merged 1 commit into
leanprover:mainfrom
segevem:fix-name-clash
Oct 9, 2025
Merged

fix: Resolving name clashing issue with size_push theorem and syntax error#91
seanmcl merged 1 commit into
leanprover:mainfrom
segevem:fix-name-clash

fix: Name clashing and syntax error

7161c8e
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.