Hacker News new | ask | show | jobs
by weinzierl 670 days ago
The important word is "just", when X facilitates formal verification by a considerable margin.