Lean 4 (Meta)programming Cookbook

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:

  1. Displaying in the Infoview