Main Logiweb Site
Elevator speech
Download
Tutorial
Documentation
The Logiweb Compiler is an open source system available under GNU GPL which can:
- compile your programs
- generate your documentation
- execute your test suites
- check your proofs
- generate your journal publications
- generate your text books
- web publish your work
- read more
Getting started:
Mirror sites:
Old versions: