Skip to content

Fix typo in tactics.md#84

Open
deepimpactmir wants to merge 1 commit into
leanprover:masterfrom
deepimpactmir:patch-1
Open

Fix typo in tactics.md#84
deepimpactmir wants to merge 1 commit into
leanprover:masterfrom
deepimpactmir:patch-1

Fix typos in tactics.md

525848b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs