Fix simp tagging#29368

Closed

loefflerd wants to merge 40 commits intoleanprover-community:masterfrom

loefflerd:DL_fix_simps_for_CB

Commits on Aug 1, 2025

Commits on Aug 11, 2025

rev updates
CBirkbeck
committed

Commits on Aug 12, 2025

name update
CBirkbeck
committed

Commits on Aug 18, 2025

Commits on Aug 20, 2025

Commits on Aug 21, 2025

Commits on Sep 5, 2025

⚡