Builder profile
Participation in project discovery and support for PitchHut.
The quality and impact of this builder's projects.
What they're building
Build robust web apps with formal verification using Lean.