@0x0@lemmy.zip to Programmer Humor@programming.dev • 10 days agorace conditionslemmy.zipimagemessage-square87arrow-up1879
arrow-up1879imagerace conditionslemmy.zip@0x0@lemmy.zip to Programmer Humor@programming.dev • 10 days agomessage-square87
minus-square@nialv7@lemmy.worldlinkfedilink2•9 days agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDevlinkfedilinkEnglish1•9 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”.