GitHub repository: ANSSI-FR/FreeSpec
Primary language: Coq
Created: 2018-01-26T16:34:46Z
Description: A framework for implementing and certifying impure computations in Coq