As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [graphs]

A graph is a collection of vertices and edges; each edge links a pair of vertices, defining a relationship of incidence between vertices and edges. (from nLab)

Filter by
Sorted by
Tagged with
1 vote
1 answer
46 views

Can Coq grab some data over HTTP and then write the data as declartions in Coq itself?

The data I'm referring to is just an easy to understand JSON format of objects / arrows and the styling information about the arrows. For example, if an arrow is two-headed I need in Coq locally to ...
Daniel Donnelly's user avatar
8 votes
0 answers
112 views

Graph algorithms in Coq

We’re looking for a good library for reasoning about graphs in Coq. Some key features with would want to support include: Topological sorting (ideally along with other graph algorithms) Manipulation ...
Adrian's user avatar
  • 81
4 votes
2 answers
175 views

Can a proof engine be built based on graphs?

One of the more common ways to do proofs is using a deductive system. Can proofs instead be done using graphs? I am seeking papers that outline from the ground up how such a system works. If example ...
Guy Coder's user avatar
  • 2,796