satsumas/Prop_site
A Ruby on Rails website for Prop
Developer Profile
satsumas
Discovered public repositories for satsumas in the GitHub catalog.
satsumas/Euler
Project Euler solutions in Python
satsumas/Bibliography
Bibliography for Philosophy of Model Theory and Mathematics
satsumas/prop
Evaluates the validity of arguments in propositional calculus. Useful for verifying logic exercises as part of a mathematics or philosophy course.