Examples

This section contains a series of examples that demonstrate how to use the verus package. The examples are divided into the following categories:

These examples are not extensive (i.e., they do not demonstrate the full potential of the module), and are intended to provide an overview of the functionality of the verus package. For more detailed information, please refer to the documentation of the individual modules and classes.