lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

Doc string edits

Open hmonroe opened this issue 11 months ago • 0 comments

hmonroe avatar Mar 02 '24 20:03 hmonroe