Skip to content

Prove Expr.typeCheck_complete for full language with Var, Lam, App - #8

Open
nahcnuj with Copilot wants to merge 8 commits into
mainfrom
copilot/prove-expr-typecheck-complete
Open

Prove Expr.typeCheck_complete for full language with Var, Lam, App#8
nahcnuj with Copilot wants to merge 8 commits into
mainfrom
copilot/prove-expr-typecheck-complete

Add TODO comments to Compiler.lean and update README syntax with Var/…

329808f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.