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

iProp

Open markusdemedeiros opened this issue 2 months ago • 0 comments

Co-authored-by: Zongyuan Liu [email protected]

markusdemedeiros avatar Nov 23 '25 20:11 markusdemedeiros