Back to People
N

nd-certora

Maintainer
@nd-certoraCertora
197
Internal commits
18
PR merges
3
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraDec 2019 – May 2020
22 commits0 merges
Thesis*Nov 2020 – Dec 2020
7 commits0 merges
CertoraDec 2020 – Jul 2021
36 commits5 mergesMaintainer periodReturned
CertoraApr 2022 – Jul 2024
102 commits13 mergesMaintainer periodReturned
CertoraMar 2025 – May 2025
15 commits0 mergesReturned
CertoraOct 2025 – Oct 2025
1 commits0 mergesReturned

Confirmed movements

CertoraThesis*Nov 2020
CertoraPopsicle FinanceOct 2021
Popsicle FinanceCertoraApr 2022

Internal authors supported

Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.