An example of using a Lean library with a Mathlib dependency in C.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool