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)
4
questions
1
vote
0
answers
117
views
Lean proofs for graph algorithms
I am new to lean but am interested in proving correctness of graph algorithms. Is there a repository/website that talks about a proof using lean of Dijkstra's shortest path algorithm, for example?
- 111
1
vote
1
answer
71
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 ...
- 269
8
votes
0
answers
139
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 ...
- 81
4
votes
2
answers
183
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 ...
- 2,826