@misc{indiciae10f278d1d00f, title = {Training Students' Abstraction Skills Around a CAFÉ 2.0}, author = {Géraldine Brieven and Lev Malcev and Benoit Donnet}, year = {2023}, url = {https://arxiv.org/abs/2309.09562}, note = {Source identifier: 2309.09562} }