Tag: Larry Paulson

  • Engineering in Mathematics

    Spanish version below I had no time to invest in this blog, but I managed to gather some to write an invited post in Lawrence Paulson’s Machine Logic. It is related to new trend of computer formalization of mathematics, in which I have also been working. You can access it through this link. Aunque no…