GitHub repository: DmxLarchey/Murec_Extraction
Primary language: Coq
Description: Extraction of µ-recursive algorithms in Coq