A blog post about rod, the theorem prover I'm working on.https://pigworker.wordpress.com/2018/08/21/designing-the-rod/ …
Replying to @pigworker
Excellent choice of name there.
10:42 AM - 21 Aug 2018
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.