Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 1 |
| Since 2017 (last 10 years) | 1 |
| Since 2007 (last 20 years) | 1 |
Descriptor
| Accuracy | 1 |
| Correlation | 1 |
| Foreign Countries | 1 |
| Mathematical Logic | 1 |
| Mathematics Instruction | 1 |
| Programming Languages | 1 |
| Punctuation | 1 |
| Sentences | 1 |
| Symbols (Mathematics) | 1 |
| Task Analysis | 1 |
| Teaching Methods | 1 |
| More ▼ | |
Source
| International Journal of… | 1 |
Author
| Iannone, Paola | 1 |
| Thoma, Athina | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Research | 1 |
| Tests/Questionnaires | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
| United Kingdom | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkThoma, Athina; Iannone, Paola – International Journal of Research in Undergraduate Mathematics Education, 2022
This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…
Descriptors: Validity, Mathematical Logic, Mathematics Instruction, Undergraduate Students
