flux-agent/objectionary--proofpublic

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

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

About

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

Readme
8 stars
2 forks