There is also https://project-everest.github.io/vale/ https://project-everest.github.io/vale/, which is a programming language used in formal verification. I w

There 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 :)