Pinned Repositories
concrete-semantics
My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
isabelle_sc
logical-foundations-2018
My solutions to exercises in "Logical Foundations" (2018-2019)
programming-language-foundations-2018
My solutions to exercises in "Programming Language Foundations" (2018-2019)
software-foundations
My solutions to exercises in "Software Foundations" (Benjamin Pierce et al.) These are for 2014-2015 version of the book.
tensorflow-specialization-dl.ai
My colab notebooks for TensorFlow Specialization by deeplearning.ai
topoi
My paper on topoi [in Russian]
verified-functional-algorithms-2019
My solutions to exercises in "Verified Functional Algorithms" (2019)
vqc-rus
Russian translation of Quantum Verified Computing book
kolya-vasiliev's Repositories
kolya-vasiliev/concrete-semantics
My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
kolya-vasiliev/logical-foundations-2018
My solutions to exercises in "Logical Foundations" (2018-2019)
kolya-vasiliev/programming-language-foundations-2018
My solutions to exercises in "Programming Language Foundations" (2018-2019)
kolya-vasiliev/verified-functional-algorithms-2019
My solutions to exercises in "Verified Functional Algorithms" (2019)
kolya-vasiliev/topoi
My paper on topoi [in Russian]
kolya-vasiliev/isabelle_sc
kolya-vasiliev/software-foundations
My solutions to exercises in "Software Foundations" (Benjamin Pierce et al.) These are for 2014-2015 version of the book.
kolya-vasiliev/tensorflow-specialization-dl.ai
My colab notebooks for TensorFlow Specialization by deeplearning.ai
kolya-vasiliev/vqc-rus
Russian translation of Quantum Verified Computing book