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?