/lambda-auth-in-redex

Implementation of "lambda-auth" from paper "Authenticated Data Structures, Generically"

Primary LanguageRacketBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.