Lysergid@lemmy.ml to Programmer Humor@programming.dev · 1 year agoOkay, which one of you Java devs did thislemmy.mlimagemessage-square42fedilinkarrow-up1441arrow-down126
arrow-up1415arrow-down1imageOkay, which one of you Java devs did thislemmy.mlLysergid@lemmy.ml to Programmer Humor@programming.dev · 1 year agomessage-square42fedilink
There is Coq