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