quint

github.comtool

Executable specification language with delightful tooling.

from

Cosmos SDK

added

2026-10-10

likes

0

Cosmos SDK › Testing: “Executable specification language with delightful tooling.”