fpvandoorn / sard

Work towards a general version of Sard's theorem in Lean 4

Geek Repo

Github PK Tool