fixpoint icon indicating copy to clipboard operation
fixpoint copied to clipboard
verified publisher icon bokner

'inverse' constraint

Open bokner opened this issue 1 year ago • 0 comments

bokner avatar Sep 15 '24 12:09 bokner