lean4-examples. Examples of Lean 4 mathematical proofs

github.com/vltanh/lean4-examples
by @vltanh

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.