Skip to content

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

Open
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
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.