CertoraDec 2025 – present
251 commits15 mergesMaintainer period
Back to People
J
julian-certora
Active lead@julian-certoraCertora
- 251
- Internal commits
- 15
- PR merges
- 1
- Organizations
- 1
- Maintainer at