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
Donate quickly and easily
Send help right to the people and causes you care about
Your donation is protected by the GoFundMe Giving Guarantee