leanprover-community / lftcm2020Links

Lean for the Curious Mathematician 2020
67Updated 2 years ago

Alternatives and similar repositories for lftcm2020

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

Sorting: