Timeline for Coq, Merging two forall definitions ranging over the same types
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14 at 19:22 | comment | added | The Circle | Thank you for the quick answer | |
| Apr 14 at 19:22 | vote | accept | The Circle | ||
| Apr 14 at 18:56 | history | edited | djao | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Apr 14 at 18:50 | history | edited | djao | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Apr 14 at 18:45 | history | answered | djao | CC BY-SA 4.0 |