top | item 36691700 (no title) megamorf | 2 years ago I was confused by the title because when my bubble talks about Vale they mean this:https://github.com/errata-ai/vale discuss order hn newest zahllos|2 years ago There is also 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 :)
zahllos|2 years ago There is also 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 :)
zahllos|2 years ago
I was slightly confused when I first read the title as well :)