GitHub repository: Hakimba/Lib_olog
Primary language: OCaml
Created: 2018-02-05T21:28:17Z
Description: A implementation of spivak ologs