Skip to main content
Proof Assistants Meta

All Questions

Ask Question
Tagged with
1 question
Newest Active Unanswered Frequent
4 votes
0 answers
38 views

Renaming "extensional-equality" to "extensional-type-theory"

Is there any better suggestion or reasons against changing extensional-equality to extensional-type-theory? As Couchy suggests, the current tag is slightly ambiguous. If there is no objection, I think ...
Trebor's user avatar
TreborMod
  • 4,025