|
|
|
|
|
|
by luckystarr
4 days ago
|
|
|
https://en.wikipedia.org/wiki/Lean_(proof_assistant) Not sure about "bugs" in that area, but there is a lot of work going on by mathematicians in formalizing and checking ever more complex proofs using proof assistants. These systems have been tested on very complex proofs already, but well... I'm not a mathematician, just a software engineer who accepted his new role in this "new thinking order". |
|
|