kolya-vasiliev

Kolya Vasiliev's repositories

My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.

Language:Isabelle22 20

My solutions to exercises in "Logical Foundations" (2018-2019)

Language:Coq9 10

My solutions to exercises in "Programming Language Foundations" (2018-2019)

Language:Coq4 10

My solutions to exercises in "Verified Functional Algorithms" (2019)

Language:Coq3 20

My paper on topoi [in Russian]

Language:TeX101

Language:Isabelle000

My solutions to exercises in "Software Foundations" (Benjamin Pierce et al.) These are for 2014-2015 version of the book.

Language:Coq020

My colab notebooks for TensorFlow Specialization by deeplearning.ai

Language:Jupyter Notebook000

Russian translation of Quantum Verified Computing book

Language:Coq010