Timeline for Introductory resources on rewriting logic
Current License: CC BY-SA 4.0
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 |