Timeline for What did Coq 8.15 change about divmod?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2022 at 4:03 | history | edited | Bubbler |
Retagged: the question concerns about the definition of a specific arithmetic function, and "division-by-zero" is extremely narrow for a tag
|
|
| Feb 16, 2022 at 1:48 | vote | accept | Rand00 | ||
| Feb 15, 2022 at 21:45 | answer | added | Blaisorblade | timeline score: 11 | |
| Feb 15, 2022 at 19:23 | history | edited | Andrej Bauer |
edited tags
|
|
| S Feb 15, 2022 at 18:53 | review | First questions | |||
| Feb 15, 2022 at 19:20 | |||||
| S Feb 15, 2022 at 18:53 | history | asked | Rand00 | CC BY-SA 4.0 |