GitHub repository: ku-sldg/cakeml-coq
Primary language: Coq
Description: CakeML semantics in Coq