Timeline for Closures break induction in correctness proof of interpreter
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 20, 2024 at 18:54 | vote | accept | mell_o_tron | ||
| Feb 20, 2024 at 18:54 | vote | accept | mell_o_tron | ||
| Feb 20, 2024 at 18:54 | |||||
| S Feb 13, 2024 at 10:04 | history | bounty ended | CommunityBot | ||
| S Feb 13, 2024 at 10:04 | history | notice removed | CommunityBot | ||
| Feb 5, 2024 at 9:30 | answer | added | Li-yao Xia | timeline score: 3 | |
| S Feb 5, 2024 at 8:49 | history | bounty started | mell_o_tron | ||
| S Feb 5, 2024 at 8:49 | history | notice added | mell_o_tron | Authoritative reference needed | |
| Feb 3, 2024 at 14:27 | comment | added | mell_o_tron | @AndrejBauer I think it should. The rules and interpreter are fairly simple, and I made them side by side. What's your take on this? | |
| Feb 3, 2024 at 14:03 | comment | added | Andrej Bauer | And what you're trying to prove is true? | |
| Feb 3, 2024 at 10:07 | history | edited | mell_o_tron | CC BY-SA 4.0 | added 32 characters in body |
| Feb 2, 2024 at 20:37 | history | edited | mell_o_tron | CC BY-SA 4.0 | added 83 characters in body |
| Feb 2, 2024 at 19:35 | history | asked | mell_o_tron | CC BY-SA 4.0 |