Tool Template

Provide the Tool Name Here

Due to the variety of tools, the template is very relaxed. Try to provide all the relevant information, or refer to an external link for all the detailed information. In any way, provide enough information directly here so that readers can understand if your tool can help with their issues.

Author's Names

One Line Description

Short Description

Other Information

Are there several versions? How do they differ?

Example

Provide here a short example of an input or proof

External Links

Provide here the official link to the tool

References

Links to Systems and Tools

Add here links (preferably to this inventory) to Systems, Proofs and Tools that are linked to the current tool.

Erase this section if empty.