zeta1999

@zeta1999

1 Skills

0 Total Stars

June 2026 Joined

Public Skills

SKILL: translate a C++/Go/Solidity function into a Lean 4 model

by zeta1999

the two API blurbs (SUPPORT_API, FLOAT_API). Keep them in sync.