Logiweb(TM)     Logiweb site pages  
        Main Logiweb Site  
 

System pages
Site pages

   


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


Google
Search the Web Search logiweb.eu