✌
Reading
Twtr
.
Blog
.
Mail
Loading
https://mathoverflow.net/questions/291158/proofs-shown-to-be-wrong-after-formalization-with-proof-assistant/312661
.
✌
Loading