All Questions
Tagged with equality implementation
1
question
2
votes
1
answer
67
views
Strategies for representing proofs of equality
I am interested in strategies for representing proof terms inside the kernel of a proof assistant, specifically proofs of equality.
What are the different strategies that are available for ...