All Questions
Tagged with foundations implementation
1
question
4
votes
2
answers
195
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 ...