aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics copertina

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Ascolta gratuitamente

Vedi i dettagli del titolo

3 mesi a soli 0,99 €/mese

Dopo 3 mesi, 9,99 €/mese. Si applicano termini e condizioni.

A proposito di questo titolo

This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Ancora nessuna recensione