A trick for Googling for Lean

Stream: new members

[Eric Taucher]

As @Kevin Buzzard noted

The trick is to Google for lean prover or lean theorem prover

---

It took me a few days to figure that one out. But know that I know it is the way of Kevin it must be right. :smile:

The other thing that one will soon learn about Googling for info on Lean as noted in replies in Improving documentation, is that one does not find information from this Zulip site in the responses.

[Martin Dvořák]

It also took me a few days!