The Coq Library as a Theory Graph.

Dennis Müller Florian Rabe Claudio Sacerdoti Coen

Published in: CICM (2019)

Keyphrases

random walk
formal methods
directed graph
theoretical framework
structured data
general theory
graph matching
case study
computational model
database
website
information systems
artificial intelligence
graph structure
graph representation
graph theoretic
information retrieval
machine learning