AxiomProver non solo dimostra teoremi, ma dimostra formalmente la dimostrazione. Ma non basta ancora per fare il matematico.L'articolo AxiomProver proviene da Maddmaths!.