Kim Jana Eiken

According to our database¹, Kim Jana Eiken authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

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

[BibT_eX]

[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.

[BibT_eX]

[DOI]

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