Lean 4 IITs
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Example usage can be found in Example.lean.
Example.lean