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