Skip to content
Build and Test cedar-spec

Extend typechecker inversion lemma for type annotation #1436

Sign in to view logs

Extend typechecker inversion lemma for type annotation

Extend typechecker inversion lemma for type annotation #1436

Test Docker build

Test Docker build
succeeded Mar 6, 2025 in 12m 41s