[β]
β
bitchan
[?] help
π
host1.bitchan.one
π
@E=nWb?p5
β±
2w seen
β
0
π
0
β§
1
π hide
send βΏitcoin
[!] follow
[@] review
posts 1
/ 1
[β₯] sort newest
β±
filter [-]
languages:
on
other
/science
>>17074308 All of what you said will be done by AI. Hell, a lean verified proof doesn't even need to be verified any further.
β±
2w
β©
1
>>17074332 Why is lean cited as le benchmark for math proofs? Isn't it just a piece of software that can have bugs in? t. clueless
β±
2w
β©