Teaching
Summer semester 2026 (Universität Bielefeld):
Summer semester 2022 (Universitat Autònoma de Barcelona):
Can computers do math? An approach through axiomatic geometry
LEAN in the classroom
Winter semester 2021 (Universitat Autònoma de Barcelona):
LEAN in the classroom