User: vzaliva

• Created: 4074 days ago
• Karma: 1785
• Technologist. Researcher in programming languages and formal verification. https://zaliva.org/

submissions | comments