RISCAL WebEx: Web Exercises for RISCAL

October 25, 2018: first release.

RISCAL WebEx is a toolset for generating web-based exercises for RISCAL. See this document for more information.

Download RISCAL WebEx [README] [COPYING]

This includes all the files for running the software.

Manual (PDF)

This is the user documentation of the software.

Examples (non-executable):

• First Order Logic
  • First Order Syntax (Source)
  • First Order Semantics (Source)
  • First Order Pragmatics (Source)
• Computer Science
  • A Programming Exercise (Source)
  • A Specification Exercise (Source)
• RISCAL Web Interface (Source)

Examples (executable)

For executing these examples you need a password.

---

Wolfgang Schreiner

Last modified: October 25, 2018