Pinned Repositories
mooculus
Mooculus
math-expressions
Javascript library handling mathematical expressions involving transcendental functions
khan-exercises
A (deprecated) framework for building exercises to work with Khan Academy.
m2o2c2
Multivariable calculus course materials
statsmodels
Statsmodels: statistical modeling and econometrics in Python
erdos-ASL
Storing the code for the Erdos 2023 ASL project
intro-proof
An open introduction to proof with a focus on fitch style natural deduction.
logic-eval
A drill and kill website for evaluating truth values in sentential and predicate logic.
Module-0
Module 0 - Fundamentals
StevenGubkin.github.io
StevenGubkin's Repositories
StevenGubkin/logic-eval
A drill and kill website for evaluating truth values in sentential and predicate logic.
StevenGubkin/StevenGubkin.github.io
StevenGubkin/erdos-ASL
Storing the code for the Erdos 2023 ASL project
StevenGubkin/intro-proof
An open introduction to proof with a focus on fitch style natural deduction.
StevenGubkin/Module-0
Module 0 - Fundamentals