Popular repositories Loading

1. Rudolf Rudolf Public

   Truth Tree Widget for Carnap

   JavaScript 2 3

2. Carnap Carnap Public

   Forked from Carnap/Carnap

   A formal logic framework that runs in the browser

   Haskell 2

3. carnap-nixops carnap-nixops Public

   NixOps configs for Carnap deployment

   Nix 2

4. forallx-pandocs forallx-pandocs Public

   Pandoc files for the forall x-UBC textbook

   1 2

5. consumer consumer Public

   Simple example of a page that renders Rudolf truth-tree widgets

   HTML

6. Carnap-Documentation Carnap-Documentation Public

   Forked from Carnap/Carnap-Documentation

   Documentation for Carnap