philosophical-logic

There are 5 repositories under philosophical-logic topic.

  • ozekik/mathesis

    Python library for computational formal logic, formal semantics, and theorem proving

    Language:Python15302

  • hjbolus/Mathematical-Logic-Through-Python

    Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

    Language:Python6202

  • andrewppar/logos

    A Proof Assistant for Philosophers

    Language:Clojure4300

  • zelosleone/lean-theorems

    A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.

    Language:Lean20
  • Philosophy

    sourceduty/Philosophy

    ☯ Utilizing philosophical history, reality and future.

    10