CJCrafter
s-alad
Decentralized marketplace for Lean theorem proving - post challenges, verify proofs, earn rewards
$152 · Flow · Flow Builder Pool Prize
wjorgensen
GitHub ↗- Projects
- 2
- Winning projects
- 1
- Prize money (team total)
- $152
- Hackathons
- 2
- Active
- 2024–2025
Projects
Lottery system where half of all tokens are burned until 1 remains
wagmi
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?