City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Антон Александрович Трунов

Zilliqa Research

Работаю инженером по формальной верификации в Zilliqa Research. Участник команды разработки Coq, состою в coq-community на GitHub, модерирую r/Coq и веду твиттер @CoqLang. Иногда читаю лекции по Coq.

Course offerings

Course Semester
Introduction to Coq autumn 2019

Photos