Your Link:
https%3A%2F%2Fxenaproject.wordpress.com%2F2022%2F07%2F29%2Fteaching-formalisation-to-mathematics-undergraduates%2F