System pages
Site pages
Introduction...
Showroom
Tutorials
Man pages
Help
Download
Wiki...
Wiki submission
Background
Machine room...
Contact
Documenation
Tutorial
Logiweb pages
Man pages
Help
System
Download
Logiwiki
Logiwiki submission
Logiwiki header creation
Machine room
Description
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
To subscribe to the Logiweb mailing lists send an e-mail to logiweb-request@diku.dk, logiweb-announce-request@diku.dk, and logiweb-notices-request@diku.dk with body 'subscribe' (without the quotes).