iris-lean icon indicating copy to clipboard operation
iris-lean copied to clipboard
verified publisher icon leanprover-community

Add docstrings

Open markusdemedeiros opened this issue 6 months ago • 0 comments

Most of our code is not documented. Adding docstrings would help new users get familiar with Iris.

markusdemedeiros avatar Aug 06 '25 14:08 markusdemedeiros