GitHub - semantics-classroom/coq-intro-problems-dj-kostya: coq-intro-problems-dj-kostya created by GitHub Classroom · GitHub

Name		Name	Last commit message	Last commit date
src		src
.Makefile.coq.d		.Makefile.coq.d
.gitignore		.gitignore
.lia.cache		.lia.cache
Makefile		Makefile
Makefile.coq		Makefile.coq
Makefile.coq.conf		Makefile.coq.conf
README.md		README.md
_CoqProject		_CoqProject
configure		configure

Repository files navigation

See the installation instructions at course page

About

coq-intro-problems-dj-kostya created by GitHub Classroom

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages

Generated from semantics-classroom/coq-intro-sirius-2021