Lysergid@lemmy.ml to Programmer Humor@programming.dev · 10 months agoOkay, which one of you Java devs did thislemmy.mlimagemessage-square40fedilinkarrow-up1438arrow-down126
arrow-up1412arrow-down1imageOkay, which one of you Java devs did thislemmy.mlLysergid@lemmy.ml to Programmer Humor@programming.dev · 10 months agomessage-square40fedilink
There is Coq