A HOL-based framework for reasoning over knowledge graphs
Primary LanguageJupyter NotebookApache License 2.0Apache-2.0