Lysergid@lemmy.ml to Programmer Humor@programming.dev · 8 months agoOkay, which one of you Java devs did thislemmy.mlimagemessage-square41fedilinkarrow-up1441arrow-down125
arrow-up1416arrow-down1imageOkay, which one of you Java devs did thislemmy.mlLysergid@lemmy.ml to Programmer Humor@programming.dev · 8 months agomessage-square41fedilink
There is Coq