GitHub repository: AestheticIntegration/imandra-prelude
Primary language: OCaml
Created: 2018-06-25T14:56:32Z
Description: Extracted version of imandra's prelude