alt
Hacker News
sincerely
•
yesterday at 9:29 PM
•
0 replies
•
view on HN
I’m not even sure what would be gained by formal verification of a GUI
alt Hacker News