alt
Hacker News
anon48293
•
today at 5:49 AM
•
0 replies
•
view on HN
The whole law should have been automated and formally verified decades ago.