Timeline for Why Coq's `Include` is designed to instantiate functor with current interactive defining module?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2022 at 13:38 | vote | accept | Ende Jin | ||
| Apr 19, 2022 at 8:00 | answer | added | Jason Gross | timeline score: 3 | |
| Apr 11, 2022 at 20:51 | history | edited | Couchy | CC BY-SA 4.0 |
replace image with source
|
| Apr 11, 2022 at 19:25 | history | asked | Ende Jin | CC BY-SA 4.0 |