All Questions
Tagged with discussion tag-synonyms
3
questions
2
votes
0
answers
27
views
Tags concerning variables and bindings
Should the tags bound-variables binders (and possibly de-bruijn-indexing) be merged? There probably won't be any question exclusively discussing binders and not bound variables. De bruijn indices, in ...
4
votes
0
answers
20
views
Tags for Isabelle Locales and Classes
I believe having a locales for Isabelle will help with organizing questions. I have added Tag info but it is still pending in peer review.
Now the main question is about this question which is ...
3
votes
1
answer
88
views
tag: hol or higher-order-logic
We now have higher-order-logic and hol. Probably one should be canonical, and the other one be a tag synonym.
I suggest to use hol, as it is shorter and more likely ...