Kolya Vasiliev's repositories
concrete-semantics
My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
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)
verified-functional-algorithms-2019
My solutions to exercises in "Verified Functional Algorithms" (2019)
Language:Isabelle000
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
Language:Jupyter Notebook000