GitHub repository: paolobrasolin/awesome-lean
Created: 2021-09-23T17:13:40Z
Description: A collaborative list of awesome Lean resources. Feel free to contribute!