GitHub - mit-plv/lean4-itree: Coinductive Interaction Trees in Lean4 using QPFs

Coinductive Interaction Trees using QPFs

Name		Name	Last commit message	Last commit date
Latest commit History 213 Commits
ITree		ITree
Paco		Paco
.gitignore		.gitignore
AUTHORS		AUTHORS
ITree.lean		ITree.lean
LICENSE		LICENSE
Paco.lean		Paco.lean
README.md		README.md
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Provide feedback