Timeline for Prove simple theorems in Haskell in automated way
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 22, 2023 at 12:29 | vote | accept | Борат Сагдиев | ||
| S Jun 22, 2023 at 12:29 | vote | accept | Борат Сагдиев | ||
| S Jun 22, 2023 at 12:29 | |||||
| S Jun 22, 2023 at 12:29 | vote | accept | Борат Сагдиев | ||
| S Jun 22, 2023 at 12:29 | |||||
| Jun 22, 2023 at 12:29 | vote | accept | Борат Сагдиев | ||
| S Jun 22, 2023 at 12:29 | |||||
| Jun 10, 2023 at 1:26 | answer | added | Pseudonym♦ | timeline score: 1 | |
| Jun 10, 2023 at 1:23 | comment | added | Pseudonym♦ | You should probably hang out in Proof Assistants. | |
| Jun 9, 2023 at 20:32 | answer | added | alias | timeline score: 3 | |
| Aug 5, 2020 at 10:51 | comment | added | Борат Сагдиев | Thanks @jmite, this seems to be what I need. | |
| Aug 2, 2020 at 6:49 | comment | added | Joey Eremondi | Have you seen SBV? hackage.haskell.org/package/sbv | |
| Jun 23, 2020 at 15:59 | answer | added | seriousquestions | timeline score: 3 | |
| Jun 23, 2020 at 11:49 | history | edited | Борат Сагдиев | CC BY-SA 4.0 |
added 19 characters in body
|
| Jun 23, 2020 at 11:43 | history | asked | Борат Сагдиев | CC BY-SA 4.0 |