psibi/hatt
Truth-table generator for classical propositional logic
Social server with an ActivityStreams API
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.