profile
viewpoint

fresheed/coq-semantics-2019

A repository with Coq tasks related to "Semantics of programming languages" course at HSE-SPb

https://github.com/fresheed/coq-semantics-2019

fresheed

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

anlun
dboulytchev