Lean4 Samples

Code samples for Lean 4