Post 1664332 by abs@niu.moe
 (DIR) More posts by abs@niu.moe
 (DIR) Post #1664332 by abs@niu.moe
       2018-12-02T20:29:51Z
       
       1 likes, 0 repeats
       
       I really didn't do much today. In the end, I just banged my head on a bunch of proofs and automated a few annoying bits. Tomorrow I will work on making my logic actually sound (whoops! :blobderpy:) and then move onto something else.