Logiweb(TM)     Logiweb site pages  
        Main Logiweb Beta Test 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

The information on the present page concerns the 0.1.x beta test versions of Logiweb. See also the 0.2.x pre-release versions of Logiweb.

Search the Web Search logiweb.eu