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

add quine example

Open mo271 opened this issue 2 years ago • 1 comments

mo271 avatar Apr 04 '23 11:04 mo271

I'm uncertain whether you welcome pull requests; however, I believe this small example could potentially be of helpful as an example of a very small lean program...

mo271 avatar Apr 04 '23 11:04 mo271