Skip to content

Add Lean 4 support#90

Open
RobertTLange wants to merge 77 commits intomainfrom
lean_support
Open

Add Lean 4 support#90
RobertTLange wants to merge 77 commits intomainfrom
lean_support

Commits

Commits on Sep 25, 2025

Commits on Sep 26, 2025

Commits on Sep 28, 2025

Commits on Oct 13, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025

Commits on Oct 27, 2025

Commits on Oct 30, 2025

Commits on Nov 2, 2025

Commits on Nov 3, 2025

Commits on Nov 8, 2025

Commits on Nov 10, 2025

Commits on Nov 12, 2025

Commits on Nov 13, 2025

Commits on Nov 17, 2025

Commits on Nov 19, 2025

Commits on Nov 20, 2025

Commits on Nov 22, 2025

Commits on Dec 3, 2025

Commits on Dec 26, 2025

Commits on Dec 27, 2025

Commits on Dec 28, 2025

Commits on Dec 29, 2025