Search projects, hackathons, sponsors and tech

    Projects by wjorgensen

    1 projectClear filters

    Cyrup

    Decentralized marketplace for Lean theorem proving - post challenges, verify proofs, earn rewards

    $152 · Flow · Flow Builder Pool Prize