What mathematicians should know about the Lean Theorem Prover: reliability & AI
194 punktów · 58 komentarzy · autor matt_d · terrytao.wordpress.com
- Punkty
- 194
- Komentarze
- 58
Więcej z tego źródła
Wszystkie-
Google cleared 300 hectares of Finnish forest
-
Show HN: Run full iOS 16.5 firmware on Android Devices
-
Quad9 (DNS Resolver) to Exit France
-
MPs moving to restrict gambling ads in Canada
-
What's Getting Pwned
-
eMudhra to exit global SSL/TLS certificate business
-
Crystal 1.22
-
eMudhra to Exit Global SSL/TLS Certificate Business;