0x0@lemmy.zip to Programmer Humor@programming.dev · 8 days agorace conditionslemmy.zipexternal-linkmessage-square76fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkrace conditionslemmy.zip0x0@lemmy.zip to Programmer Humor@programming.dev · 8 days agomessage-square76fedilink
minus-squarenialv7@lemmy.worldlinkfedilinkarrow-up0·7 days agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.