Julian / lftimLinks

Mathematical learnings with Lean, for those of us who wish we knew more of both!
10Updated 2 years ago

Alternatives and similar repositories for lftim

Users that are interested in lftim are comparing it to the libraries listed below

Sorting: