/applied-type-theory

Applied type theory, MSU Fall 2022

Primary LanguageCoq

Stargazers