EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of code-based, ...
This page describes the available properties of template.json configuration file. The templates can be packaged to a NuGet package for further distribution. A tutorial on how to create the template ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results