Timeline for Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 11, 2022 at 15:59 | vote | accept | prash | ||
| Feb 9, 2022 at 18:26 | answer | added | Maximilian Doré | timeline score: 5 | |
| Feb 9, 2022 at 10:53 | comment | added | Gilles 'SO- stop being evil' | @GuyCoder No, it isn't. When posting a question on multiple sites, it's basic etiquette to say you're doing so. Which prash did (thank you). Slate's edit is counterproductive and impolite. | |
| Feb 8, 2022 at 21:56 | answer | added | Andrej Bauer | timeline score: 24 | |
| Feb 8, 2022 at 21:02 | history | edited | Slate♦ | CC BY-SA 4.0 |
removed some meta-details from the question
|
| Feb 8, 2022 at 20:24 | answer | added | Will Sawin | timeline score: 18 | |
| S Feb 8, 2022 at 19:12 | review | First questions | |||
| Feb 9, 2022 at 4:13 | |||||
| S Feb 8, 2022 at 19:12 | history | asked | prash | CC BY-SA 4.0 |