GitHub repository: tz18/ECCtoECCA
Primary language: Coq
Created: 2019-06-21T20:43:53Z
Description: Implementation of a type-preserving compiler from Luo's ECC to an A-Normal form restricted subset called ECCA