Logiweb(TM)

11 Source code

Prev Up Next Page 377 of 800 Search internet


11.1 lgc: the Logiweb compiler
11.2 lgwam.c: the Logiweb abstract machine
11.3 pages.c: precompiled pages
11.4 base.lgs: a base page
11.5 lgc.lgs: the source of the Logiweb compiler
11.6 check: a general proof checker
11.7 Peano: a definition of Peano arithmetic
11.8 combinations: a small program and a testsuite
11.9 multzero: A small formal proof
11.10 test: one among the Logiweb regression testsuites
11.11 testmachine: an example of a Logiweb machine

Prev Up Next Page 377 of 800 Search logiweb.eu

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