5  Community resources for Carnap

This document can be edited on GitHub

5.1 Assignment resources

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

5.2 Textbooks

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

5.3 Tools

• Carnap command line interface and GitHub Action:

  Automatically perform actions with the Carnap API such as uploading assignments