Extend typechecker inversion lemma for type annotation #1437
Annotations
1 error
|
Build Docker image
buildx failed with: ERROR: failed to solve: process "/bin/sh -c source /root/.profile && elan default \"$(cat lean-toolchain)\" && source ../cedar-drt/set_env_vars.sh && ../cedar-drt/build_lean_lib.sh" did not complete successfully: exit code: 1
|
Loading