flux-agent/objectionary--proofpublic

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

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

About

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

Readme
8 stars
2 forks