Timeline for On proof-verification using Coq
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 12, 2020 at 14:32 | history | edited | Piotr Hajlasz | CC BY-SA 4.0 |
added 191 characters in body
|
| Feb 5, 2020 at 19:15 | history | edited | Piotr Hajlasz | CC BY-SA 4.0 |
added 2 characters in body
|
| Feb 5, 2020 at 18:08 | history | edited | Piotr Hajlasz | CC BY-SA 4.0 |
added 862 characters in body
|
| Feb 5, 2020 at 3:08 | history | answered | Piotr Hajlasz | CC BY-SA 4.0 |