If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is.
John Louis von NeumannAkcije dokumenta
Mednarodni projekti izven EU
En nivo navzgor- Prof. dr. Andrej Bauer - Financiranje projekta s strani "The AI for Math Fund"
- Projekt financira neprofitna korporacija Reneissance Philanthropy iz ZDA.