Logiweb(TM)     Logiweb site pages  
        Main Logiweb Site  

System pages
Site pages


Try Logiweb in your browser

For documentation of Logiweb see the system pages.
The three links above are shortcuts into the system pages.

Mirror sites:
logiweb.eu (main site)

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

Search the Web Search logiweb.eu