0x0@lemmy.zip to Programmer Humor@programming.dev · 13 days agorace conditionslemmy.zipimagemessage-square68linkfedilinkarrow-up1838
arrow-up1838imagerace conditionslemmy.zip0x0@lemmy.zip to Programmer Humor@programming.dev · 13 days agomessage-square68linkfedilink
minus-squarenialv7@lemmy.worldlinkfedilinkarrow-up2·12 days agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up1·12 days ago I did say “general purpose”. I did say “fun fact”.
I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
I did say “fun fact”.