aossie/ComputationalPhilosophy
Formalizations of Philosophical Arguments using Automated Reasoning Tools
GitLab repository with 10 stars and 6 forks.
Language: TeX
Latest metric snapshot
2026-06-15: 10 stars and 6 forks.
Formalizations of Philosophical Arguments using Automated Reasoning Tools
GitLab repository with 10 stars and 6 forks.
Language: TeX
2026-06-15: 10 stars and 6 forks.