Name Binding

How do real-world proof assistants bind variables and check equality?

• url: https://proofassistants.stackexchange.com/questions/4019/how-do-real-world-proof-assistants-bind-variables-and-check-equality

.