Timeline for What is the state of recompilation avoidance in proof assistants?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 15, 2022 at 7:45 | review | First answers | |||
| Feb 15, 2022 at 7:57 | |||||
| S Feb 15, 2022 at 7:45 | history | answered | Jim Kingdon | CC BY-SA 4.0 |