Main Logiweb Site

Elevator speech Download Tutorial Documentation

• 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

• Download the software
• Do the tutorial
• Read the documentation
• Join the mailing list
• Have fun

• logiweb.eu (main site)
• topps.diku.dk/logiweb
• logiweb.imm.dtu.dk

• Beta test site
• Old versions