8 Comments
Oct 16·edited Oct 16Liked by Alejandro Piad Morffis

Next step, force yourself to be both formal and rigorous (tedious dimension not taken into account) by writing your proof in some theorem prover language like Lean:

https://leanprover-community.github.io/index.html

Expand full comment
Oct 16Liked by Alejandro Piad Morffis

Wonderful article! Well done!

Expand full comment

An article the world needs! PS: I just have to ask, what dk you use for your image generation man?

Expand full comment

amazing

Expand full comment