Calculational relation-algebraic proofs in the teaching tool CalcCheck.

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

theorem proving
higher education
e learning
learning process
web based learning
educational technology
software tools
theorem prover
case study
educational tool
cooperative learning
hong kong
distance education
learning systems
inference rules
high school
university level
learning environment
thinking skills