Tecnologie
Lean
Un linguaggio di programmazione creato per scrivere dimostrazioni matematiche verificabili da macchina.
0 storie.
Notizie su Lean (0)
Ancora nessuna notizia su Lean: quelle che seguono lo citano solo di passaggio.
Menzionato anche in (1)
Notizie su qualcos'altro che nominano Lean di passaggio, con la frase che lo fa.
- OpenAI pubblica 372 dimostrazioni matematiche generate dall'AI su GitHub«Molte delle dimostrazioni sono accompagnate da formalizzazioni in Lean, un linguaggio di programmazione creato per scrivere dimostrazioni matematiche verificabili da macchina.»