Open Access"I would (not) teach proof, because it is (not) relevant to exams": changing beliefs about teaching proof
Author(s) -
Gabriel Chun-Yeung Lee
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - proof of concept , computer science , burden of proof , proof complexity , structural proof theory , proof theory , computer assisted proof , mathematics education , mathematical proof , programming language , psychology , automated theorem proving , mathematics , geometry , political science , law , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom