mikevoronov/applied-type-theory-2023

Applied type theory, MSU Fall 2023

Coq