chipxsd

5 ms·

1. 1.▲
   by chipxsd 2y ago

   While outputting DVI! I wouldn't be surprised.
2. 2.▲
   by chipxsd 2y ago

   Looks like there's more information in their readme: https://github.com/informalsystems/quint > Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockcha
3. 3.▲
   by chipxsd 3y ago

   JOSN
4. 4.▲
   by chipxsd 13y ago

   Thank you for posting this here 🍺