[β]
β
bitchan
[?] help
π
host1.bitchan.one
π
@BVr_8*wT
β±
2w seen
β
0
π
0
β§
1
π hide
send βΏitcoin
[!] follow
[@] review
posts 1
/ 1
[β₯] sort oldest
β±
filter [-]
languages:
on
other
/science
>>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
β©