Jannis Limperg

According to our database¹, Jannis Limperg authored at least 2 papers between 2021 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Aesop: White-Box Best-First Proof Search for Lean.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2021

A novice-friendly induction tactic for lean.

[BibT_eX]

[DOI]

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021