Formal Foundations for Informal Mathematics
To support open source mathematics and computer science.
#1 fundraising platform
People have raised more money on GoFundMe than anywhere else. Learn more
GoFundMe Guarantee
In the rare case that something isn’t right, we will refund your donation. Learn more
Expert advice, 24/7
Contact us with your questions and we’ll answer, day or night. Learn more