Main fundraiser photo

Formal Foundations for Informal Mathematics

Donation protected
To support open source basic research in pure mathematics and the mathematical foundations of computing science.


William DeMeo
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