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

feat: View CMRA

Open markusdemedeiros opened this issue 4 months ago • 1 comments

Depends on #88

markusdemedeiros avatar Sep 08 '25 17:09 markusdemedeiros

Closes #52

markusdemedeiros avatar Sep 08 '25 17:09 markusdemedeiros