Zulip Chat Archive

Stream: new members

Topic: A trick for Googling for Lean

Eric Taucher (Dec 12 2021 at 11:51):

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 (Dec 13 2021 at 10:57):

It also took me a few days!

Last updated: Dec 20 2023 at 11:08 UTC