display automatic translations to informal math#168

Open

robertylewis wants to merge 22 commits intomasterfrom display-informal

+191-2

Commits on Jul 20, 2022

bump mathlib version
robertylewis
committed

Commits on Jul 21, 2022

display informal translations
robertylewis
committed

Commits on Jul 22, 2022

Commits on Aug 2, 2022

change feedback links to form

EdAyers
authored and
robertylewis
committed
fix: edit style

EdAyers
authored and
robertylewis
committed
Add translation form handler.

EdAyers
authored and
robertylewis
committed

Commits on Aug 5, 2022