CertoraJul 2025 – Jan 2026
18 commits1 mergesMaintainer period
Back to People
I
itay-certora
Maintainer@itay-certoraCertora
- 20
- Internal commits
- 1
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
CertoraJun 2026 – present
2 commits0 mergesReturned