3 ms·
Interesting. I've always wanted to formalize the US Constitution into TLA+ in order to find loopholes.
by kelseyfrog 2y ago
Interesting. I've always wanted to formalize the US Constitution into TLA+ in order to find loopholes.
loading thread…
3 ms·