Popular repositories Loading

1. concrete-semantics concrete-semantics Public

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

   Isabelle 23 6

2. logical-foundations-2018 logical-foundations-2018 Public

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

   Coq 9 5

3. programming-language-foundations-2018 programming-language-foundations-2018 Public

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

   Coq 4 2

4. verified-functional-algorithms-2019 verified-functional-algorithms-2019 Public

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

   Coq 3 2

5. topoi topoi Public

   My paper on topoi [in Russian]

   TeX 1

6. software-foundations software-foundations Public

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

   Coq 1