Description

Formalization of the code shown/discussed in the paper + the case study discussed in Section 5.

Instructions

General Installation

Software Dependencies:

Agda >= 2.6.2

General Installation:

See README.md

Provenance

Developed by authors of the paper.

License