Post #1583732

Quint (uma linguagem de especificação formal) virou uma empresa, com a brasileira Gabriela Moreira como CEO https://tbsky.app/profile/quint-lang.org/post/3mjmp4hyfxk2m