Sim:
https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/
https://coq.inria.fr/
1,806 perguntas
1,883 respostas
1,287 comentários
15,277 usuários