I have yet to see any problem, however complicated, which you looked at it in the right way, did not become still more complicated.
Poul AndersonAkcije 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.