claudedwithlove

explore/lean4-risczero

lean4-risczero

♡Crafted

lean4-risczero

A

·★ 0··submitted April 14, 2026

Clauded With Love Rating

Badge Embed

Markdown

[![Clauded with Love](/badge/4a6f7299-6e74-486e-94ab-52b5a67b102e)](https://claudedwithlove.com/p/lean4-risczero)

HTML

<a href="https://claudedwithlove.com/p/lean4-risczero"><img src="/badge/4a6f7299-6e74-486e-94ab-52b5a67b102e" alt="Clauded with Love" /></a>

♡ Verify this badge →

GitHub Stats

0Stars

0Forks

0Open PRs