Showroom
Try Logiweb in your browser
Download
For documentation of Logiweb see the system pages.
The three links above are shortcuts into the system pages.
Mirror sites:
logiweb.eu (main site)
topps.diku.dk/logiweb
logiweb.imm.dtu.dk
Logiweb is an open source system available under GNU GPL for
- Web publication of mathematical definitions, lemmas, and proofs
- Verification of formal proofs
- Version control
- Web publication and compilation of computer programs
- Web publication of proof checkers and proof tactics
- Web publication of journal quality papers
- Construction of wiki systems for mathematics, logic, and computer science
The information on the present page concerns the 0.1.x beta test versions of Logiweb. See also the 0.2.x pre-release versions of Logiweb.
My thanks are due to Jørgen Villadsen and Per Friis for making this Logiweb mirror site possible.
Klaus Grue, GRD-2007-10-25