Page 104 of 800
| Page 104 of 800 | Search internet |
For further reading on proof checking, see the section on proof checking and read the check and Peano pages. The check and Peano pages are the ultimate sources of information since they implement the proof checker and Peano arithmetic, respectively. The check page provides information about the proof checker in general, and the Peano page gives a quite elaborate example of how to express a theory.
| Page 104 of 800 | Search logiweb.eu |