alecs

@pigworker Yes, but often you only find the right definition after getting frustrated working with the wrong one. If you have a machine that can do every proof for you, some people will lose the incentive to look for better definitions

@foxy 0 - Spain 1 - 3 after you actually enroll at the university, assumes master 2 - You have some competencies that you have to get by attending some classes or by doing some other stuff (in practice: publish one paper and take two classes that are like 8 hours each) 3) 0

@foxy@blahaj.zone Exactly