Formal Foundations for Informal Mathematics
Donation protected
To support open source basic research in pure mathematics and the mathematical foundations of computing science.
Organizer
William DeMeo
Organizer
Boulder, CO
Your easy, powerful, and trusted home for help
Easy
Donate quickly and easily
Powerful
Send help right to the people and causes you care about
Trusted
Your donation is protected by the GoFundMe Giving Guarantee