ProofBuddy: A Proof Assistant for Learning and Monitoring

Stream: Lean for teaching

[Marcello Seri]

This appeared today on the arXiv: https://arxiv.org/abs/2308.06970
It also contains a nice overview of what has been attempted so far

[Martin Dvořák]

Do they have a demo?

[Marcello Seri]

Not that I can see

[Marcello Seri]

Only screenshots in the paper and in talks