Pinned Loading

1. Mathematical-Logic-Through-Python Mathematical-Logic-Through-Python Public

   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

   Python 6 2

2. Projects-with-Dr.-Honkanen Projects-with-Dr.-Honkanen Public

   Sometimes I work on utilities for bioinformatics and proteogenomics in my projects with Dr. Honkanen. When those may be worth sharing, I post them here.

   Python

3. Neurosurgery-policy-lab Neurosurgery-policy-lab Public

   These scripts automate large-scale data collection tasks focusing on bibliometrics and physicians' reviews.

   Python 1 1

4. Aristotelian-logic Aristotelian-logic Public

   Short project on the proof theory of Aristotelian syllogisms inspired by a paper by Vaughn R. Pratt

   Python