0x0@lemmy.zip to Programmer Humor@programming.dev · 2 个月前race conditionslemmy.zipimagemessage-square90fedilinkarrow-up1884arrow-down125
arrow-up1859arrow-down1imagerace conditionslemmy.zip0x0@lemmy.zip to Programmer Humor@programming.dev · 2 个月前message-square90fedilink
minus-squarenialv7@lemmy.worldlinkfedilinkarrow-up2·2 个月前I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up1·2 个月前 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”.