The Xena Project

@XenaProject

Mathematicians learning Lean. . Kevin Buzzard. Imperial College London. Prove a theorem. Write a function. .

Vrijeme pridruživanja: svibanj 2019.

Medijski sadržaj

  1. 26. stu 2019.

    Compare and contrast ;-)

  2. 26. stu 2019.

    Deep in the perfectoid project. Graph made by Patrick Massot.

  3. 7. stu 2019.
    Odgovor korisniku/ci
  4. 1. lis 2019.
  5. 25. lip 2019.

    I gave a general audience talk about Lean. The first half an hour was an easy-going introduction to the idea of formalisation, and then I spent the last 25 minutes showing examples of Lean code. I just discovered that it was up on youtube :-)

  6. 8. lip 2019.

    Interview with on YT: . At AITP Christian told me that he could see computers beating humans at mathematics within ten years. I am not so optimistic, but that certainly doesn't stop me being very excited about his vision for the future.

  7. 7. lip 2019.

    Summary of my talk at (with thanks to Reid Barton)

  8. 29. svi 2019.

    On the other hand, many many thanks Dawn Wasley and for giving me just the set-up I wanted -- a screen to display my laptop, a blackboard, and *even some Hagoromo!*

  9. 29. svi 2019.

    Oh wow -- Scott Morrison has uploaded a video! Watch me baiting computer scientists at

    Prikaži ovu nit

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·