GitHub - UlfNorell/me-em: Model Examples, Example Models

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
GCL		GCL
ModelChecker		ModelChecker
Properties		Properties
.gitignore		.gitignore
GCL.agda		GCL.agda
Generators.agda		Generators.agda
ModelChecker.agda		ModelChecker.agda
Pair.agda		Pair.agda
Properties.agda		Properties.agda
me-em.agda-lib		me-em.agda-lib

About

Model Examples, Example Models

Report repository

Releases

No releases published

Packages

No packages published

Languages

Agda 100.0%