Search projects, hackathons, sponsors and tech

    ← All builders
    Projects
    1
    Winning projects
    1
    Prize money (team total)
    $500
    Hackathons
    1
    Active
    2024

    Projects

    Idea of an IPFS / Filecoin based solution to foster progress in mathematical research by leveraging the Lean theorem prover and a tailored reward system, to make research free and accessible.

    $500 · Filecoin · Honorable Mentions

    Projects are linked from GitHub commits to each project's repo during its hackathon, so some may be missing or wrong. Prize money is each project's total, shared with teammates. Is this you?