Math is like love - a simple idea but it can get complicated.
R. DrabekDocument Actions
Other international projects
Up one level- Prof. Dr. Andrej Bauer - Project funding from "The AI for Math Fund"
- The project is funded by the non-profit corporation Renaissance Philanthropy from the USA.