Das Math -Genomprojekt
Machen Sie eine Seitenschwere aus der Mathematikforschung oder finanzieren Sie jemand anderen
Empfohlen
3 Stimmen
Beschreibung
Ein Marktplatz und eine soziale Plattform, die darauf abzielt, höhere Mathematik zu demokratisieren.Jetzt kann jeder bezahlt werden, um Beweise zu kuratieren, neue zu schreiben oder Aussagen in einer der führenden formalen Sprachen (Lean, Hol, Coq, Metamath) zu formalisieren.