Bump to latest version of Lean and fix errors introduced by breaking changes#129

Draft

Peiyang-Song wants to merge 1 commit intomainfrom dev

+12-12

Commits on Nov 4, 2024

Bump to Lean v4.13.0 (latest stable release) and fix some bugs
Peiyang-Song
committed