Hacker News new | ask | show | jobs
by kelseyfrog 408 days ago
Interesting. I've always wanted to formalize the US Constitution into TLA+ in order to find loopholes.