simp options docs

Stream: lean4

[James Sully]

Does there exist documentation for all simp options in lean 4? I only found the lean 3 version. Perhaps lean 4 doesn't differ significantly?

Failing that, a source link or something would be useful, if I had an undocumented list I would have terms to google

[Kyle Miller]

Once docgen is updated, you can check out docs#Lean.Meta.Simp.Config, but for now you can look at the source: https://github.com/leanprover/lean4/blob/master/src/Init/MetaTypes.lean#L71-L172

[James Sully]

Thank you!