Runtime VerificationApr 2011 – Apr 2011
4 commits0 merges
Back to People
D
davidlazar
Internal employee@davidlazarAlgorand Foundation
- 49
- Internal commits
- 0
- PR merges
- 3
- Organizations
- 0
- Maintainer at
Activity over time
Organization timeline
galoisincSep 2011 – Sep 2011
1 commits0 merges
galoisincJun 2013 – Jul 2013
4 commits0 mergesReturned
Algorand FoundationAug 2021 – May 2022
40 commits0 merges
Confirmed movements
Runtime VerificationgaloisincSep 2011
galoisincAlgorand FoundationAug 2021