Matematicamente.it • Terence Tao e Lean

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule

Rispondi citando

Indrjo Dedej

Indrjo Dedej
Messaggi: 1658
Iscritto il: 31/05/2016, 19:58

Terence Tao e Lean

25/10/2023, 06:51

Trova un bug in un suo lavoro mentre sta imparando a formalizzare in Lean.
https://mathstodon.xyz/@tao/111287749336059662

Rispondi al messaggio

Vai a:

Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.

phpBB Mobile / SEO by Artodia.