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

Published 20 hours ago • verified publisher icon leanprover-community

add quine example

Open mo271 opened this issue 1 year ago • 1 comments

mo271 avatar Apr 04 '23 11:04 mo271