The following pages link to Justifying equality (Q2848059):
Displaying 6 items.
- Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197) (← links)
- Fast congruence closure and extensions (Q876046) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Purging in an equality data base (Q1138393) (← links)
- Congruence Closure in Intensional Type Theory (Q2817913) (← links)
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq (Q3100210) (← links)