Back to People
E

emarzion

Maintainer
@emarzionFormal Land
24
Internal commits
9
PR merges
2
Organizations
2
Maintainer at

Activity over time

Organization timeline

Formal LandJan 2023 – Feb 2023
17 commits2 mergesMaintainer period

Confirmed movements

Runtime VerificationFormal LandJan 2023