api document for lean3

Stream: new members

[Zejian Xie]

Is there an api document for lean3 like https://leanprover-community.github.io/mathlib_docs/tactic/apply.html for mathlib?

https://leanprover.github.io/reference/ this?