Timeline for How to define curry in Lean
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2022 at 18:49 | history | became hot network question | |||
| Apr 10, 2022 at 12:52 | vote | accept | magma | ||
| Apr 10, 2022 at 11:30 | answer | added | Jason Rute | timeline score: 9 | |
| Apr 10, 2022 at 11:16 | comment | added | magma | thanks for the edit | |
| Apr 10, 2022 at 11:14 | comment | added | magma | @GuyCoder yes I use lean3 | |
| Apr 10, 2022 at 11:10 | history | edited | Jason Rute | CC BY-SA 4.0 |
Add code quotes
|
| Apr 10, 2022 at 11:06 | history | edited | Guy Coder |
[Edit removed during grace period]
|
|
| S Apr 10, 2022 at 10:47 | review | First questions | |||
| Apr 10, 2022 at 12:49 | |||||
| S Apr 10, 2022 at 10:47 | history | asked | magma | CC BY-SA 4.0 |