3 ms·
I was confused by the title because when my bubble talks about Vale they mean this: https://github.com/errata-ai/vale https://github.com/errata-ai/vale
by megamorf 3y ago
I was confused by the title because when my bubble talks about Vale they mean this:
https://github.com/errata-ai/vale https://github.com/errata-ai/vale
- zahllos 3y agoThere is also https://project-everest.github.io/vale/ https://project-everest.github.io/vale/, which is a programming language used in formal verification. I was slightly confused when I first read the title as well :)