10 Example pages

Prev Up Next Page 367 of 800 Search internet

10.1 Introduction
10.2 base: a base page
10.3 lgc: the Logiweb compiler
10.4 check.lgs: a general proof checker
10.5 Peano.lgs: a definition of Peano arithmetic
10.6 combinations.lgs: a small program and a testsuite
10.7 multzero.lgs: A small formal proof
10.8 test.lgs: one among the Logiweb regression testsuites
10.9 testmachine.lgs: an example of a Logiweb machine

Prev Up Next Page 367 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05