Rendering issue in L9LevelsL05_BddOfConv #91
Description
In:
Game/Levels/L9Levels/L05_BddOfConv.lean
the list on lines 28-43 does not render properly in the game. In particular, the boldface labels of each bullet do not appear.
{{ message }}
In:
Game/Levels/L9Levels/L05_BddOfConv.lean
the list on lines 28-43 does not render properly in the game. In particular, the boldface labels of each bullet do not appear.