Timeline for Packaging Mathematical Structures in Coq: Help Understanding a Definition
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8 at 3:04 | vote | accept | user2628206 | ||
| Apr 7 at 0:09 | history | edited | user2628206 | CC BY-SA 4.0 |
fixed grammar
|
| S Apr 7 at 0:03 | review | First answers | |||
| Apr 12 at 11:58 | |||||
| S Apr 7 at 0:03 | history | answered | user2628206 | CC BY-SA 4.0 | |
| S Apr 7 at 0:03 | history | made wiki | Post Made Community Wiki by user2628206 |