February 2026 monthly summary for EasyCrypt project. Focused on documentation clarity for the Hoare split tactic. Key accomplishment: clarified that the tactic decomposes only the top-most conjunction in a postcondition; nested conjunctions are handled by applying the tactic multiple times. This guidance aligns with current implementation and reduces user confusion. Commit reference: f71e04951a43b73e0bd5b71e181811cdd32fdca3. No major bugs fixed this month; work centered on improving docs and onboarding. Impact: improved user understanding, reduced potential misuse, and better onboarding for new contributors. Technologies/skills demonstrated: technical writing, version control, documentation best practices, clear communication of algorithmic behavior, and repository hygiene in EasyCrypt/easycrypt.