System pages
Site pages

Introduction...
Showroom
Tutorials
Man pages
Help
Download
Wiki...
Wiki submission
Background
Machine room...
Contact

T01: Hello world
T02: Programming
T03: Proving
T04: Googling
T05: Syntax

Home. Submission form. Header creation form. Prefilled header creation form.

The tutorials give a short introduction to Logiweb. Other sources of information are help pages, man pages, and the three sample Logiweb pages that come with the distribution.

Introductory tutorials

• Tutorial T01: Hello world.
• Tutorial T02: Programming.
• Tutorial T03: A lemma and a proof.

Tutorials on special topics

• Tutorial T04: Googling.
• Tutorial T05: The pyk syntax.

Tutorials on semantics and proofs are under construction. Direct requests for further tutorials to grue@diku.dk.