Yeah, in a way you are right. Ok, let me put it this way: Math is not formal. But, formality has its advantages, so what I would like to see is a framework tha

Yeah, in a way you are right. Ok, let me put it this way: Math is not formal. But, formality has its advantages, so what I would like to see is a framework that, while being formal, still allows formulating ideas just as a mathematician would. Kind of like envisioned here: https://www.practal.com https://www.practal.com