Timeline for Should questions arising from computational logic be asked?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2022 at 9:56 | vote | accept | Guy Coder | ||
| Feb 10, 2022 at 13:39 | answer | added | Alexander Gryzlov | timeline score: 6 | |
| Feb 10, 2022 at 9:57 | answer | added | Dima Pasechnik | timeline score: 2 | |
| Feb 10, 2022 at 9:51 | comment | added | Dima Pasechnik | IMHO most SAT solving people have quite orthogonal interests, for it's closer to areas such as combinatorial optimisation and HPC than to proof assistants proper. | |
| Feb 9, 2022 at 18:00 | answer | added | Alex Nelson | timeline score: 7 | |
| Feb 9, 2022 at 17:59 | history | became hot meta post | |||
| Feb 9, 2022 at 13:26 | history | edited | Guy Coder | CC BY-SA 4.0 |
typo
|
| Feb 9, 2022 at 13:20 | history | edited | Guy Coder | CC BY-SA 4.0 |
typo
|
| Feb 9, 2022 at 13:13 | comment | added | Dima Pasechnik | Do you mean "computational logic"? Then be prepared for questions about SAT solvers, and this is likely very popular, but rather orthogonal to proof assistants, topic. | |
| Feb 9, 2022 at 11:22 | history | edited | Guy Coder | CC BY-SA 4.0 |
typo
|
| Feb 9, 2022 at 10:59 | history | asked | Guy Coder | CC BY-SA 4.0 |