vzaliva



submissions / comments / favourites


Technologist. Researcher in programming languages and formal verification. https://zaliva.org/