WI
@willamhou
contributor on implexa, with 1 skill ranked by SkillRank across 1 source.
willamhou on githubpublishes to clawhub
skills, ranked by SkillRank
| score | source | skill |
|---|---|---|
| — | clawhub | Formal Methods Formal verification with Lean 4, Coq, and Z3 SMT solver |