Het Math Genome Project
Maak een zijpoort van wiskundeonderzoek, of financiert iemand anders
Uitgelicht
3 Stemmen
Beschrijving
Een marktplaats en sociaal platform gericht op het democratiseren van hogere wiskunde.Nu kan iedereen worden betaald om bewijzen te samenstellen, nieuwe te schrijven of verklaringen te formaliseren in een van de toonaangevende formele talen (Lean, Hol, Coq, Metamath).