A tool for building Lean4 .olean files from Lean3 export data
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool