Comment by johnisgood

How does that work?

Why can't other languages have a "formal verification library"?