Skip to main content

All Questions

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 ...
Greg Nisbet's user avatar
  • 3,095