ComputationalPhilosophy

ComputationalPhilosophy

Formalizations of Philosophical Arguments using Automated Reasoning Tools

Name Last update
Formalizations Loading commit data...
Papers Loading commit data...
Press Loading commit data...
Talks Loading commit data...
doc/GSoC/2017 Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...