Pinned Loading
-
Mathematical-Logic-Through-Python
Mathematical-Logic-Through-Python PublicPython 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
-
Neurosurgery-policy-lab
Neurosurgery-policy-lab PublicThese scripts automate large-scale data collection tasks focusing on bibliometrics and physicians' reviews.
-
-
Aristotelian-logic
Aristotelian-logic PublicShort project on the proof theory of Aristotelian syllogisms inspired by a paper by Vaughn R. Pratt
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.