GitHub repository: own-pt/common-sense-lean
Primary language: Lean
Created: 2020-04-08T18:23:35Z
Description: The initial ideas of a common sense library in Lean based on SUMO Ontology