Trova un bug in un suo lavoro mentre sta imparando a formalizzare in Lean.
https://mathstodon.xyz/@tao/111287749336059662
1 messaggio
• Pagina 1 di 1
Terence Tao e Lean
da Indrjo Dedej » 25/10/2023, 06:51
- Indrjo Dedej
- Senior Member
- Messaggio: 835 di 1653
- Iscritto il: 31/05/2016, 19:58
1 messaggio
• Pagina 1 di 1
Chi c’è in linea
Visitano il forum: Nessuno e 1 ospite