I thought this post was fun: https://blog.codeminer42.com/overcoming-challenges-and-crafting-in-the-uncharted-territory-of-lean4/ https://blog.codeminer42.com/o

I thought this post was fun: https://blog.codeminer42.com/overcoming-challenges-and-crafting-in-the-uncharted-territory-of-lean4/ https://blog.codeminer42.com/overcoming-challenges-and-craft...