Popular repositories Loading

1. logic-eval logic-eval Public

   A drill and kill website for evaluating truth values in sentential and predicate logic.

   JavaScript 2

2. StevenGubkin.github.io StevenGubkin.github.io Public

   SCSS 1

3. intro-proof intro-proof Public

   An open introduction to proof with a focus on fitch style natural deduction.

   TeX

4. erdos-ASL erdos-ASL Public

   Storing the code for the Erdos 2023 ASL project

   Jupyter Notebook

5. Module-0 Module-0 Public template

   Forked from minitorch/Module-0

   Module 0 - Fundamentals

   Python