GitHub repository: Julian/lftim
Primary language: Lean
Created: 2022-01-06T13:12:26Z
Description: Mathematical learnings with Lean, for those of us who wish we knew more of both!