Last released Jul 15, 2026
An executable specification language: verify any implementation against acceptance criteria in a .qn contract.
Supported by
