Mustafin, I., Schena, A., & Weber, R. (2024). maple-recursive-eiffel [Data set]. https://github.com/CI-CSE/maple-recursive-eiffel