Teaching Divisibility and Binomials with Coq.
Sylvie BoldoFrançois ClémentDavid HamelinMicaela MayeroPierre RousselinPublished in: CoRR (2024)
Keyphrases
- computer programming
- online learning
- e learning
- higher education
- teacher education
- high school
- educational technology
- hybrid learning
- learning environment
- distance learning
- theorem prover
- multimedia
- middle school students
- formal methods
- cooperative learning
- problem based learning
- case study
- web based learning
- learning sciences
- blended learning
- learning design
- teaching methods
- model checking
- educational systems