T

thomasbernardi

Internal employee

@thomasbernardiCertora

8
Internal commits: 0
PR merges: 1
Organizations: 0
Maintainer at

Activity over time

Organization timeline

CertoraMay 2021 – May 2021

1 commits0 merges

CertoraMar 2022 – Mar 2022

4 commits0 mergesReturned

CertoraMay 2023 – Jun 2023

3 commits0 mergesReturned