Irene Garnelo Abellanas

AG Binder
irene.garnelo.abellanas@uni-paderborn.de
ID
93843

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed