• Carnap
  • About
  • Book
  • Login

Community resources for Carnap

This document can be edited on GitHub

Assignment resources

  • Carnap-Contrib - CSS stylesheets and JavaScript extensions for assignments

Textbooks

  • forall x: UBC edition
  • forall x: Calgary
  • Introductory Logic, by Sean Walsh

Tools

  • Carnap command line interface and GitHub Action:

    Automatically perform actions with the Carnap API such as uploading assignments

An Open Tower project. Copyright 2015-2022 G. Leach-Krouse <gleachkr@ksu.edu> and J. Ehrlich