Timeline for Strict implicit arguments in Coq
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 9 at 17:58 | vote | accept | Bruno | ||
Aug 8 at 8:47 | history | answered | Li-yao Xia | CC BY-SA 4.0 |