satsumas/Prop_site
A Ruby on Rails website for Prop
Project Euler solutions in Python
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A Ruby on Rails website for Prop
Bibliography for Philosophy of Model Theory and Mathematics
Evaluates the validity of arguments in propositional calculus. Useful for verifying logic exercises as part of a mathematics or philosophy course.