psibi/hatt
Truth-table generator for classical propositional logic
An HTTP client engine, intended as a base layer for more user-friendly packages.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Truth-table generator for classical propositional logic
My Solution to Velleman's book
Personal site
Slides etc.