hub / github.com/adamchalmers/carroll

github.com/adamchalmers/carroll @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

108 symbols 349 edges 8 files 24 documented · 22% ● updated 11y ago★ 331 open issues

Browse by type

⨍ Functions 98 ◇ Types & classes 10

What it actually does AI analysis from the code graph — generated when you open this

loading…

Core symbols most depended-on inside this repo

browse all functions →

Shape

Function 79

Method 19

Class 10

Languages

Python100%

Modules by API surface

nodes.py42 symbols

truthtable.py27 symbols

parsing.py19 symbols

normal_forms.py7 symbols

carroll.py6 symbols

proofs.py5 symbols

symbols.py2 symbols

For agents

$ claude mcp add carroll \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/adamchalmers/carroll @main

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page