leanprover-community / lean4-samples

Code samples for Lean 4
Apache License 2.0
67 stars 22 forks source link

add quine example #22

Open mo271 opened 1 year ago

mo271 commented 1 year ago

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...