Il progetto del genoma matematico
Fai un trambusto laterale dalla ricerca matematica o finanzi qualcun altro
In primo piano
3 Voti
Descrizione
Un mercato e una piattaforma sociale miravano a democratizzare la matematica superiore.Ora chiunque può essere pagato per curare le prove, scriverne di nuove o formalizzare le dichiarazioni in una delle principali lingue formali (Lean, Hol, Coq, Metamath).