An example of using a Lean library with a Mathlib dependency in C.
Primary LanguageMakefile
No one’s star this repository yet.