/best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

Creative Commons Attribution Share Alike 4.0 InternationalCC-BY-SA-4.0

Stargazers