posts/cognitive_debt #1952
posts/cognitive_debt
#1952
giscus[bot]
Bot
Replies: 1 comment
|
👍🏻 |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
posts/cognitive_debt
Quint - Executable specs for reliable systems
https://quint-lang.org/posts/cognitive_debt
All reactions