/DEAL-Lambda

The Lean implementation of DEAL-Lambda theory, with applications in Security Protocols

Primary LanguageLean

DEAL-Lambda

The Lean implementation of DEAL-Lambda theory, with applications in Security Protocols