Documents tagged Documentation

Publicly Shared

Title
carnap-pandoc.pandoc
Description
This document describes the markup language (an extension of John MacFarlane's pandoc markup) used in the creation of custom interactive assignments and problem sets.
Creator
Graham Leach-Krouse
Created on
2018-06-07 14:44 UTC
Tags
Documentation
Title
carnap-dashboard.pandoc
Description
This document provides a tutorial introduction to Carnap's course-management dashboard. It includes instructions on how to access the dashboard, how to create courses, and how to manage and automatically grade assignments.
Creator
Graham Leach-Krouse
Created on
2018-06-07 14:43 UTC
Tags
Documentation
Title
carnap-forallx.pandoc
Description
This document describes proof systems for Carnap based on P.D. Magnus' "Forall x" textbook, and the Calgary remix of that text.
Creator
Graham Leach-Krouse
Created on
2018-06-07 14:43 UTC
Tags
Documentation forall x
Title
carnap-montague.pandoc
Description
This document describes the Montague-style system of deduction used in the Carnap book.
Creator
Graham Leach-Krouse
Created on
2018-06-07 14:43 UTC
Tags
Documentation Montague