Uploads by ElenaMachkasova
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 16:07, 13 January 2023 | Tfpie-2023-shriram-compressed.pdf (file) |  |
1.27 MB | Keynote slides | 1 |
| 18:30, 13 January 2023 | Fp-e-exam-pres.pdf (file) | |
494 KB | Slides for Lubke et al presentation | 1 |
| 18:31, 13 January 2023 | TFPIE 2023 derive exam.pdf (file) | |
163 KB | Extended abstract for Lubke et al | 1 |
| 19:44, 14 January 2023 | TFPIE 2023-Rui Simao.pdf (file) | |
608 KB | 1 | |
| 02:50, 26 January 2023 | ProofBuddySlides.pdf (file) | |
1.2 MB | Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. | 1 |
| 02:51, 26 January 2023 | ProofBuddyDraft.pdf (file) | |
282 KB | Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". | 1 |
| 02:54, 26 January 2023 | Disco-tfpie23-talk.pdf (file) | |
164 KB | Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation. | 1 |
| 02:54, 26 January 2023 | Disco-tfpie23.pdf (file) | |
217 KB | Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" | 1 |
| 22:13, 30 January 2023 | TFPIE-2023-Alda.pdf (file) | |
1.94 MB | 1 |