3 commits

Author	SHA1	Message	Date
Paul-Nicolas Madelaine	4865fb7307	oops	2024-02-21 10:53:34 +01:00
Paul-Nicolas Madelaine	4d325c4e29	add link to mathlib	2024-02-21 10:50:55 +01:00
Paul-Nicolas Madelaine	dab9187323	new post: "norm_cast was upstreamed to Lean4"	2024-02-21 10:49:37 +01:00