Lean Grimoire
Foto: Hacker News
Terence Tao, matematician cunoscut, a publicat pe blogul său un articol despre Lean Grimoire, un proiect legat de Lean, limbajul de programare și demonstrare formală folosit în matematică. Fragmentul primit nu oferă alte detalii despre conținutul proiectului, așa că nu se poate spune mai mult decât că subiectul a stârnit discuții pe Hacker News.
Citește la Hacker News ↗Titlu și rezumat în română, scrise automat de ClipaNews după articolul în engleză publicat de Hacker News. Articolul întreg e la sursă.
