fix: more rendering issues in "Simp, made simple"#123
Merged
Vierkantor merged 1 commit intoleanprover-community:masterfrom Dec 11, 2025
Merged
fix: more rendering issues in "Simp, made simple"#123Vierkantor merged 1 commit intoleanprover-community:masterfrom
Vierkantor merged 1 commit intoleanprover-community:masterfrom
Commits
Commits on Dec 11, 2025
- committed
Lezeau