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