Timeline for How do you import part of the standard library in Coq?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 15, 2022 at 9:05 | answer | added | Zimm i48 | timeline score: 4 | |
| Feb 14, 2022 at 17:22 | vote | accept | Greg Nisbet | ||
| Feb 14, 2022 at 14:52 | answer | added | Li-yao Xia | timeline score: 7 | |
| Feb 14, 2022 at 1:54 | answer | added | Greg Nisbet | timeline score: 3 | |
| Feb 13, 2022 at 22:12 | history | asked | Greg Nisbet | CC BY-SA 4.0 |