Post B6lHXdkbacrR3lFI1Y by mei@donotsta.re
 (DIR) More posts by mei@donotsta.re
 (DIR) Post #B6lHXdXqM4eWQBH68G by Mae@is.badat.dev
       0 likes, 0 repeats
       
       I should get into formally verifying code
       
 (DIR) Post #B6lHXdkbacrR3lFI1Y by mei@donotsta.re
       1 likes, 0 repeats
       
       @Mae hi