GitHub repository: roberto-ieru/Coq-Unboxing
Primary language: Coq
Created: 2021-12-27T17:51:08Z
Description: Formalization for the unboxing paper