User Documentation

The users' documentation covers the functionality of ISM and related projects. The target audience is developers who write applications against their interfaces.

Developers should be familiar with:

• Isabelle: server and related components
• (for isa-link and isa-bench): Golang: Basic Language knowledge around concurrent and network programming
• (for isa-bench, only): JavaScript: Basic Language knowledge for k6