https://schoolyourself.org/ https://schoolyourself.org/ with different ideas about https://www.youtube.com/watch?v=4cQIbZa7P80 https://www.youtube.com/watch?

https://schoolyourself.org/ https://schoolyourself.org/ with different ideas about https://www.youtube.com/watch?v=4cQIbZa7P80 https://www.youtube.com/watch?v=4cQIbZa7P80 Computer-Assisted Instruction http://dmentrard.free.fr/GEOGEBRA/Maths/export4.25/golf.html http://dmentrard.free.fr/GEOGEBRA/Maths/export4.25/golf.html some people manage to create some applets in geogebra https://xenaproject.wordpress.com/2022/07/29/teaching-formalisation-to-mathematics-undergraduates/ https://xenaproject.wordpress.com/2022/07/29/teaching-formal... a way to teach theorem proving maybe I'll remember something else and add it here