使用信息视图🔗

本章收集探索 Lean 信息视图（Infoview）的配方。我们会介绍如何在信息视图中显示消息，以及如何用信息视图进行调试并与用户交互。

配方：

1. 在信息视图中显示