[zaik]

> Coding a real project is the equivalent to math's proofs, I think.

Surprisingly, this turns out to be true: https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_corresp...

[k__]

Now, how can I use this fact, to finally become a decent math user? :D