CertoraDec 2019 – Dec 2019
1 commits0 merges
Back to People
A
alexandernutz
Maintainer@alexandernutzCertora
- 204
- Internal commits
- 10
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
CertoraDec 2020 – Feb 2021
4 commits0 mergesReturned
CertoraSep 2021 – Sep 2021
1 commits0 mergesReturned
CertoraMar 2022 – Jun 2022
4 commits0 mergesReturned
CertoraFeb 2023 – Mar 2023
13 commits0 mergesReturned
CertoraOct 2023 – Jul 2024
134 commits9 mergesMaintainer periodReturned
CertoraMar 2025 – Apr 2025
47 commits1 mergesMaintainer periodReturned