You Don't Know Jack About Formal Verification · HackerLangs