Proof Assistants, Correctness Guarantees, Logic Systems, Specification
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·1d
Loading...Loading more...
Proof Assistants, Correctness Guarantees, Logic Systems, Specification