GitHub - gaperez64/mmt-blue: A Lean Theory of Mealy Machines with Timers

gaperez64 / mmt-blue Public

A Lean Theory of Mealy Machines with Timers

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.github/workflows		.github/workflows
MmtBlue		MmtBlue
blueprint/src		blueprint/src
.gitignore		.gitignore
MMT.lean		MMT.lean
MmtBlue.lean		MmtBlue.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain