Projects Leaderboard

Log in / Sign up

Loading page…

Projects

brought to you by

built by

@anarkafkasand@seymurkafkas

Support

Find us

Resources

© 2026 Nano Leaps Ltd.

cruel_plum_adora - PitchHut

cruel_plum_adora

Contribution score

7

Shows activity and engagement in the PitchHut community.

Reputation score

28

Reflects the quality and impact of this user's projects.

Projects

Qed

by

cruel_plum_adora

Build robust web apps with formal verification using Lean.