Skip to content

feat: monotone tactic - #595

Open
oliversoeser wants to merge 88 commits into
leanprover-community:masterfrom
oliversoeser:mono-tactic
Open

feat: monotone tactic#595
oliversoeser wants to merge 88 commits into
leanprover-community:masterfrom
oliversoeser:mono-tactic

Commits

Commits on Jul 4, 2026

Commits on Jul 6, 2026

Commits on Jul 8, 2026

Commits on Jul 11, 2026

Commits on Jul 12, 2026

Commits on Jul 14, 2026

Commits on Jul 15, 2026

Commits on Jul 16, 2026

Commits on Jul 18, 2026

Commits on Jul 19, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Jul 23, 2026

Commits on Jul 24, 2026

Commits on Jul 26, 2026

Commits on Jul 27, 2026

Commits on Jul 28, 2026

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Commits on Jul 31, 2026

Commits on Aug 4, 2026

Commits on Aug 9, 2026

Commits on Aug 10, 2026