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