3 ms·
But yes, this is (partly) a programming language where the uptake will depend on how easy it is to understand. By the way, I don't have a PhD in mathematics, b
by auggierose 13y ago
But yes, this is (partly) a programming language where the uptake will depend on how easy it is to understand.
By the way, I don't have a PhD in mathematics, but I do have a PhD in interactive theorem proving.
- fedvasu 13y agomy point still stands, it is advanced mathematics at this stage. you do have a CS doctorate but as I said it requires time and refinement to make it accessible even for CS researchers. It is un-scientific to criticize and snub which you can't make informed arguments about.