Def Mathlib.Tactic.ClickSuggestions.renderSection

Modification history

2026-10-21 14:10
Mathlib/Tactic/ClickSuggestions/SectionState.lean
chore: bump ProofWidgets to v0.0.118 (#45113) …
Modified Mathlib.Tactic.ClickSuggestions.renderSectionView on Github →
2026-10-17 01:01
Mathlib/Tactic/ClickSuggestions/SectionState.lean
feat(ClickSuggestions): use the tactic as the button text (#44894) …
Modified Mathlib.Tactic.ClickSuggestions.renderSectionView on Github →
2026-06-11 22:17
Mathlib/Tactic/ClickSuggestions/SectionState.lean
feat(Tactic): `#click_suggestions` (#39433) …
Added Mathlib.Tactic.ClickSuggestions.renderSectionView on Github →