Daily Weekly Monthly

Daily Shaarli

Previous day
All links of one day in a single page.
Next day

December 28, 2020

Lean for the Curious Mathematician (2020)
programming/proof maths/learn
The Map of Mathematics
thumbnail
maths/learn maths/folklore
List of lists of lists
general-knowledge
Lean — Theorem prover and proof assistant
programming/proof