News
Newest
Ask
Show
Jobs
Open on GitHub
User: vzaliva
Created:
3429 days ago
Karma:
1325
Technologist. Researcher in programming languages and formal verification.
submissions
|
comments