Jan Liam Verter

According to our database, Jan Liam Verter authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory.

Jan Liam Verter, Tomas Petricek

CoRR, 2024