"""AProver web chat: FastAPI front-end that lets users run AProver via chat."""