search

leanprover-community / lean4-samples

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

Fix 404 link #23

Closed Seasawher closed 1 year ago

Seasawher commented 1 year ago

The link to GitHub in The Lean Natural Numbers was 404!

Kha commented 1 year ago

Thanks!