Working with the Infoview
Contributors: ajay-k-nair
In this chapter we collect recipes to explore the Lean Infoview. We cover how to display messages in the Infoview, how to use the Infoview to debug and to interact with the user.
Recipes: