Logiweb(TM)     Logiweb system pages  
        Logiweb  
 

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).