CertoraJun 2023 – Jan 2024
21 commits6 mergesMaintainer period
Back to People
N
naftali-g
Active lead@naftali-gCertora
- 295
- Internal commits
- 44
- PR merges
- 1
- Organizations
- 1
- Maintainer at