Executable Specs for Reliable Systems

quint-lang.org

1 pointperpetua1 comment

Quint is an interesting lang, and the concept of 'executable spec' is definitely the direction to go in the age of AI vibe coding.

And the language, Lambda, that I designed and implemented has many similar characteristics: https://github.com/henry-luo/lambda