GitHub repository: meta-logic/sml-to-coq
Primary language: Standard ML
Created: 2019-07-15T08:59:20Z
Description: A tool that translates SML code to Coq