https://github.com/project-everest/hacl-star
Raw File
Tip revision: f8a1e28e079351a3d88d947a279570a94974dd0b authored by Aseem Rastogi on 02 June 2021, 10:57:21 UTC
fixing a flaky proof (FStar PR #2306)
Tip revision: f8a1e28
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