https://github.com/project-everest/hacl-star
Raw File
Tip revision: 9be42a7de30adad4bbae854c929c9a6ba00edf14 authored by Son HO on 16 June 2020, 14:30:15 UTC
Make a lemma in Spec.Hash.Incremental.Lemmas stable
Tip revision: 9be42a7
AUTHORS.md
This code was primarily written by Santiago Zanella-Beguelin and Cédric Fournet (MSR).
An earlier version was written by Benjamin Beurdouche (INRIA).
back to top