Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
May 22, 2015

What is Git and Why Use It?

Uncategorized by rzach

The Open Logic Project is using Git to keep track of changes to the texts, facilitate collaborative authoring, and to help you keep your downloaded copy up-to-date with changes and additions.

For a basic introduction to how Git works, have a look at Git for Philosophers.

Share this:

  • Click to print (Opens in new window) Print
  • Click to share on Facebook (Opens in new window) Facebook
  • Click to share on Reddit (Opens in new window) Reddit
  • Click to share on Mastodon (Opens in new window) Mastodon
  • Click to share on X (Opens in new window) X
  • Click to share on Pocket (Opens in new window) Pocket
  • Click to email a link to a friend (Opens in new window) Email

Post navigation

Git for Philosophers (pt. 1)
Free Logic Textbooks

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta
  • Fall 2023 version of forall x: YYC now official, on Amazon
  • Fall 2023 version of forall x: Calgary
  • forall x now in HTML for extra accessibility

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.