semantics-in-coq

A companion for the FLP class @ UNIBUC.

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.vscode		.vscode
theories/Semantics		theories/Semantics
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
Makefile.coq		Makefile.coq
Makefile.coq.conf		Makefile.coq.conf
README.md		README.md
_CoqProject		_CoqProject
coq-semantics.opam		coq-semantics.opam
dune-project		dune-project

Provide feedback