Computer implementation of Robert Brandom's "game of giving and asking for reasons," from Making It Explicit, chapter 3. - View it on GitHub