search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
51 stars 119 forks source link

Fix typo in naming.md #507

Closed victorliu5296 closed 1 month ago

victorliu5296 commented 1 month ago

Fix typo: patter -> pattern in "describe the patter -a * -b."

kbuzzard commented 1 month ago

Thanks!