Normalizing terms in CoC is a fair challenge.

Can the users with 750 or more rep review the tag edit queue. There are some tags I can not see or edit such as binder because they have a pending edit that needs to be reviewed. Of if you find a question or answer of mine of value then give it an upvote as I am less than 100 points from 750.

@GuyCoder thanks the interest in the binders question! I am aware that we might want to close it for being too broad or subjective. However, I thought I give this question a shot as it might lead to interesting answers. Time will tell.

Regarding your answer about Prolog, you can give it a shot. I am not sure what answer to expect, but it's mainly "What makes your life easier?"

For example, do you end up proving boring requirements regarding alpha-equivalences, substitutions, well-formedness etc.

Maybe a wiki-answer that maintains a list could work well.

@Wno-all thanks the interest in the binders question! I don't know if interest is the word. For me it has gone way beyond an interest to understand binders in order to implement them properly.

@Wno-all I am aware that we might want to close it for being too broad or subjective. Why? There are no close votes. There are no comments indicating any problems other than mine which is more of a warning that other might see it as such than a problem. The title was enough to have 36 people view it. And 6 of them liked it. As a matter of fact I will not make it 7. :-)

@Wno-all From my perspective I don't think there are many here have tried to implement the kernel/core of a proof engine and so don't want to or can't answer. I know there are some questions that I don't answer because I am not sure but do give the info in comments. If the next day the comment has at least on like I leave it for others, otherwise I will delete the comment.

@Wno-all *give it a shot. * Ok, I have to step away for a while so don't want to do a half way job. Do you me to add working code in Prolog? I do plan to site the references that lead to using combinations of substitutions, not many places explain it clearly enough to base code on.

If you helped me reach a rep of 750. Thank you.

With 750 rep I earned the privilege approve tag wiki edits -- If anyone needs a tag wiki edit reviewed I believe if you ping me from this forum I should get an immediate notification.

Note: While I can review the wiki tag edits, the privilege does not mean my approval alone will make the tag public. Others still need to review and approve.

@VisualMelon Cool!

Certainly good fun ;)

@GuyCoder I'm still at 679, just need about 8 more upvotes to approve your tag wiki edits :)

@NikeDattani I'll take that on the down low

Any more nefarious activity and they will send the goon squad. emoji with eyes looking left

I have first hand experience with that.

I could really use some help with the tags. If I am understanding how it works now in private beta if we get a third to help then one can write the tag info and the other two can approve it, then it becomes live for all.

On StackOverflow I have enough rep to just edit tags without any approvals and when needed can get a lot done quickly.

@GuyCoder I also made some tag wiki edit requests. By the way, I believe users get 2 points for each edit request that gets approved.

@NikeDattani I approved 4, did you get 8 points?

@GuyCoder I think each edit needs to be approved by two people, before any points are awarded.

Yes. I was replying with that when your response appeared.

The only person I see that would make a good third at present is ice1000. He has the points, is active, knowledgeable about the subjects and communicates. Another person taking note of tags is Mike Shulman but he needs about 300 points and that could take some time.

@HenryWHHackv3.0b It feels like time for a melody change. Do you want to take the next stanza?