Skip to content

🧹 Make fields private in InputLogic#96

Merged
LeanBitLab merged 1 commit intomainfrom
fix-inputlogic-encapsulation-6957683614203868009
May 4, 2026
Merged

🧹 Make fields private in InputLogic#96
LeanBitLab merged 1 commit intomainfrom
fix-inputlogic-encapsulation-6957683614203868009

Commits

Commits on May 4, 2026