@[email protected] to Programmer [email protected] • 1 month agorace conditionslemmy.zipimagemessage-square84fedilinkarrow-up1780
arrow-up1780imagerace conditionslemmy.zip@[email protected] to Programmer [email protected] • 1 month agomessage-square84fedilink
minus-square@[email protected]linkfedilink1•1 month agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDevlinkfedilinkEnglish1•1 month 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”.