GitHub repository: ku-sldg/coq2cakeml
Primary language: Coq
Description: Formal synthesis of CakeML from Coq functions