Timeline for Is the Archive of Formal Proofs indexed in journal databases?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 9 at 22:40 | history | edited | Meven Lennon-Bertrand♦ | CC BY-SA 4.0 |
added 3 characters in body
|
| Jan 9 at 22:40 | comment | added | Meven Lennon-Bertrand♦ | You ask one question in your title, and two different ones in your text, it would be better to try and align them. | |
| Jan 9 at 22:39 | answer | added | Meven Lennon-Bertrand♦ | timeline score: 1 | |
| S Jan 9 at 21:18 | history | suggested | François G. Dorais | CC BY-SA 4.0 |
corrected journal title (might be wrong title?)
|
| Oct 25, 2023 at 8:48 | comment | added | user1868607 | @FrançoisG.Dorais yes | |
| Oct 24, 2023 at 23:52 | comment | added | François G. Dorais | Do you mean the Archive of Formal Proofs? isa-afp.org | |
| Oct 24, 2023 at 23:51 | review | Suggested edits | |||
| S Jan 9 at 21:18 | |||||
| Oct 12, 2023 at 18:31 | answer | added | Gerald Edgar | timeline score: 3 | |
| S Oct 5, 2023 at 9:35 | review | First questions | |||
| Oct 13, 2023 at 8:11 | |||||
| S Oct 5, 2023 at 9:35 | history | asked | user1868607 | CC BY-SA 4.0 |