Репозиторий для прохождения курса по Software Foundations по первому тому https://softwarefoundations.cis.upenn.edu/lf-current/toc.html.
Предполагается для изучения системы Coq.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Репозиторий для прохождения курса по Software Foundations по первому тому https://softwarefoundations.cis.upenn.edu/lf-current/toc.html.
Предполагается для изучения системы Coq.