Cool! Yes, we are getting there. Being a theory builder more than a problem solver I am excited for the future. Also excited for fully formalised mathematics

Cool! Yes, we are getting there. Being a theory builder more than a problem solver I am excited for the future. Also excited for fully formalised mathematics to hit main stream!