Lysergid to Programmer Humor@programming.dev · 11 个月前Okay, which one of you Java devs did thisimagemessage-square41fedilinkarrow-up1442arrow-down123
arrow-up1419arrow-down1imageOkay, which one of you Java devs did thisLysergid to Programmer Humor@programming.dev · 11 个月前message-square41fedilink
There is Coq