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

Notice: Version 1.0.0 will be out soon. In version 1.0.0, the 'Logiweb Source' language (lgs) changes name to the 'Logiweb Extrinsic' language (lox). The Logiweb Compiler changes name from lgc to lox. The file extension .lgs changes to .lox. The present site is also available at http://lox.la where lox.la is supposed to mean 'lox language'.

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

• Beta test site
• Old versions