Contributed targeted documentation enhancements to the dafny-lang/dafny repository, focusing on improving the Getting Started guide for new users. The work centered on clarifying Dafny’s implication operator by ensuring explicit display and updating inline code formatting for key keywords such as requires and ensures, all written in Markdown. Outdated terminology was removed to better align with current Dafny defaults, streamlining the onboarding process and reducing confusion for learners. The approach emphasized clear, accessible documentation and careful attention to language consistency, leveraging strong documentation skills to support accurate understanding of Dafny semantics and facilitate a smoother learning experience for newcomers.