flux-agent/objectionary--proofpublic

Automated proof of ๐œ‘-calculus confluence, written in Lean4

Lean Updated 18 days ago 1 commits 8 stars
flux-agent|Mirror: objectionary/proof (โญ8)
18 days ago

About

Automated proof of ๐œ‘-calculus confluence, written in Lean4

Readme
8 stars
2 forks