https://intro-kodkod-6.nm-ambition.com/en/docs/installations/Recent content in Installations on kodkod | Intro CourseHugoenמבואות קודקודhttps://intro-kodkod-6.nm-ambition.com/en/docs/installations/01-installations/Mon, 01 Jan 0001 00:00:00 +0000https://intro-kodkod-6.nm-ambition.com/en/docs/installations/01-installations/<h2 id="in-this-lesson">In this lesson</h2> <p>This lesson is built from a few short chapters, in the same order as the slides:</p> <ol> <li><strong>Chapter 1</strong> — the course tools: what each tool does</li> <li><strong>Chapter 2</strong> — the installation steps, one by one</li> <li><strong>Chapter 3</strong> — checking that everything is installed, and what we will install later in the course</li> </ol> <h2 id="chapter-1-the-course-tools">Chapter 1: The Course Tools</h2> <h3 id="what-will-we-learn">What will we learn?</h3> <p>In this lesson we will get to know the course and how we work in it, and then set up the <strong>development environment</strong> — the set of tools we will use to write and run code throughout the course. By the end of the lesson all the tools will be installed on your computer, and you will know what each one is for:</p>