Incorporating a Database of Graphs into a Proof Assistant.

Andrej Bauer Katja Bercic Gauvain Devillez Jure Taslak

Published in: CICM (2024)

Keyphrases

database
databases
database systems
relational databases
graph representation
metadata
theorem proving
real time
website
case study
bayesian networks
data warehouse
bipartite graph
graph structure
weighted graph