search

leanprover-community / lean4-samples

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

chore: fix case-sensitive readme links #8

Closed collares closed 1 year ago

collares commented 1 year ago

Also moved a few files to standardise on the README.md capitalisation.