Skip to content
Build and Test cedar-spec

Extend typechecker inversion lemma for type annotation #1437

Sign in to view logs

Extend typechecker inversion lemma for type annotation

Extend typechecker inversion lemma for type annotation #1437

get-branch-name

get-branch-name
succeeded Mar 6, 2025 in 0s