vyorkin / sf-ssreflect Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

🚧 Working through the SF using ssreflect

1 star 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
theories		theories
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
Makefile.coq		Makefile.coq
Makefile.coq.conf		Makefile.coq.conf
README.md		README.md
_CoqProject		_CoqProject
shell.nix		shell.nix

Repository files navigation

sf-ssreflect

Working through the SF using ssreflect.

Links

https://www.researchgate.net/publication/327835283_Lecture_material_of_SemProg_2018_FAU_our_fork_of_Software_Foundations_by_Benjamin_C_Pierce_et_al