search

leanprover-community / leanprover-community.github.io

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

Fix documentation for calc #504

Closed riccardobrasca closed 1 week ago

riccardobrasca commented 3 months ago

Removing the senteces "Kevin thinks".

The explanation on how calc works internally seems confusing and too complicated for this guide, so I am removing it.

fpvandoorn commented 1 week ago

Seems good.