Timeline for How to prove basic lemmas about divisibility in Coq?
Current License: CC BY-SA 4.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2023 at 16:07 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| May 27, 2023 at 15:07 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 27, 2023 at 14:14 | history | edited | tinlyx | CC BY-SA 4.0 |
fixe
|
| Apr 26, 2023 at 6:28 | answer | added | Lolo | timeline score: 0 | |
| Apr 25, 2023 at 16:32 | comment | added | itsFrank | I am trying to approach it strictly with the ZArith library and using Z_scope. | |
| Apr 25, 2023 at 6:05 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 90 characters in body; edited title
|
| Apr 25, 2023 at 5:06 | answer | added | Pierre Castéran | timeline score: 1 | |
| Apr 25, 2023 at 3:45 | comment | added | Couchy | Have you tried importing Coq.ZArith.Znumtheory.? | |
| Apr 25, 2023 at 3:37 | history | edited | itsFrank | CC BY-SA 4.0 |
added 25 characters in body
|
| Apr 25, 2023 at 3:37 | history | edited | itsFrank | CC BY-SA 4.0 |
added 15 characters in body
|
| Apr 25, 2023 at 3:37 | history | edited | itsFrank | CC BY-SA 4.0 |
added 49 characters in body
|
| Apr 25, 2023 at 3:36 | history | edited | itsFrank | CC BY-SA 4.0 |
added 9 characters in body
|
| Apr 25, 2023 at 3:35 | history | edited | itsFrank | CC BY-SA 4.0 |
edited body
|
| Apr 25, 2023 at 3:34 | history | edited | itsFrank | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Apr 25, 2023 at 3:34 | history | edited | itsFrank | CC BY-SA 4.0 |
added 3 characters in body
|
| S Apr 25, 2023 at 3:34 | review | First questions | |||
| Apr 25, 2023 at 15:41 | |||||
| S Apr 25, 2023 at 3:34 | history | asked | itsFrank | CC BY-SA 4.0 |