Sunbelt Computer Software

PL/B Language Development and Support

GitHub - MatteP1/SystemF-Normalisation: Formal Proof of Normalisation in System F · GitHub

Name	Name	Last commit message	Last commit date
Latest commit History 25 Commits
.gitignore	.gitignore
Makefile	Makefile
Normalisation.v	Normalisation.v
SystemF.v	SystemF.v
_CoqProject	_CoqProject

Formal Proof of Normalisation in System F

No releases published