Post ARAwLw88QFDo6Iw1lA by heathborders@hachyderm.io
 (DIR) More posts by heathborders@hachyderm.io
 (DIR) Post #ARAwLvINWfozVmih5U by regehr@mastodon.social
       2022-12-31T03:23:13Z
       
       0 likes, 0 repeats
       
       sometimes I feel like my field overuses the word "formal"https://arxiv.org/abs/2210.08663
       
 (DIR) Post #ARAwLvgq3jO4jeAEDI by regehr@mastodon.social
       2022-12-31T03:24:09Z
       
       0 likes, 0 repeats
       
       formal verification == proving stuff while being dressed very nicely
       
 (DIR) Post #ARAwLw88QFDo6Iw1lA by heathborders@hachyderm.io
       2022-12-31T19:18:58Z
       
       1 likes, 1 repeats
       
       @regehr
       
 (DIR) Post #ARAwO9JCOcTVYIAIWe by jfbastien@mastodon.social
       2022-12-31T04:41:16Z
       
       0 likes, 0 repeats
       
       @regehr the plural of formal mathematics is:
       
 (DIR) Post #ARAwO9okVJiD88vUhc by steve@discuss.systems
       2022-12-31T04:48:51Z
       
       1 likes, 0 repeats
       
       @jfbastien @regehr wankers