1 Repositories
Python lftim Libraries
Mathematical learnings with Lean, for those of us who wish we knew more of both!
Lean for the Inept Mathematician This repository contains source files for a number of articles or posts aimed at explaining bite-sized mathematical c
8 Feb 14, 2022