Nadine Karsten

According to our database, Nadine Karsten authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

ProofBuddy: A Proof Assistant for Learning and Monitoring.

Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen

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

Store Locally, Prove Globally.

Nadine Karsten, Uwe Nestmann

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

2022

Beweiskompetenz durch Beweisassistenz.

Nadine Karsten, Uwe Nestmann

Proceedings of the DELFI 2022, 2022