Skip to main content

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