A mathematician who is not also something of a poet will never be a complete mathematician.
Karl WeierstrassAkcije 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.