Skip to main content
12 events
when toggle format what by license comment
Aug 3 at 14:03 comment added jeq Now cross-posted on proofassistants.stackexchange.com at Introductory resources on rewriting logic.
Jul 16 at 4:46 comment added Vasileios Anagnostopoulos Thank you very much @LSpice . I will head there and keep MathOverflow for my Combinatorics questions.
Jul 15 at 20:58 comment added LSpice I did not downvote, and I don't think this question fits the criteria for a downvote ("This question does not show any research effort; it is unclear or not useful"), but I suspect you might be getting downvotes indicating as a proxy for a close vote that the voter feels that the question is inappropriate for MO. (I find it a borderline case.) There are communities on theoretical CS and proof assistants where this might (but I am not a regular in either one and don't know) find a better home.
Jul 15 at 19:06 comment added Vasileios Anagnostopoulos Ok, from the downvoting, I get the spirit. I'm on my own. I'll do what I can with the Maude Book [1], [1] maude.cs.illinois.edu/w/images/0/0d/Maude-book.pdf
Jul 15 at 19:03 history edited Vasileios Anagnostopoulos CC BY-SA 4.0
added 46 characters in body; edited title
Jul 15 at 19:01 history edited Vasileios Anagnostopoulos CC BY-SA 4.0
deleted 9 characters in body
Jul 15 at 19:00 history edited Vasileios Anagnostopoulos CC BY-SA 4.0
added 62 characters in body
S Jul 15 at 18:59 history suggested J. W. Tanner
Added ref tag
Jul 15 at 18:04 review Close votes
Jul 20 at 3:03
Jul 15 at 17:48 review Suggested edits
S Jul 15 at 18:59
S Jul 15 at 17:02 review First questions
Jul 15 at 17:40
S Jul 15 at 17:02 history asked Vasileios Anagnostopoulos CC BY-SA 4.0