For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted.
Για παράδειγμα, στη συμβολική και μαθηματική λογική, οι αποδείξεις από ανθρώπους μπορούν να γίνουν με τη βοήθεια υπολογιστή.