shoham-certora

Activity over time

Organization timeline

Internal authors supported

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