Nadine Karsten

Orcid: 0009-0001-1516-7482

According to our database¹, Nadine Karsten authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

ProofBuddy: How it Started, How it's Going.

[DOI]

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

2023

ProofBuddy: A Proof Assistant for Learning and Monitoring.

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

Store Locally, Prove Globally.

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Beweiskompetenz durch Beweisassistenz.

[DOI]

Proceedings of the DELFI 2022, 2022