GitHub repository: luyise/KnEL
Primary language: OCaml
Created: 2022-02-18T19:57:57Z
Description: cinamon flavored elementary logic