Documentation

Stream: new members

[Miguel Negrão]

Hi all. Where can I find the documentation of the lean 4's builtin functions and also the external standard library (v4) ? Is there something like hackage (Haskell) for lean ? What about searching for functions like hoogle for haskell ? Thanks

[Henrik Böving]

docs4#Nat and no we dont have hoogle yet but the site has a search functionality

[Miguel Negrão]

Thanks ! That link is the community site, is that the main documentation site ?

[Henrik Böving]

For now it is yes.

[Miguel Negrão]

Is there documentation also for tactics? When I search for "Simp" I don't find it in the docs. thanks!

[Ruben Van de Velde]

For lean3, there's tactic#simp