Skip to content
View d-spitz's full-sized avatar

Block or report d-spitz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Shoreshle Shoreshle Public

    TypeScript 1

  2. GilvenkosTheorem GilvenkosTheorem Public

    Formally verified proof of Gilvenko's Theorem, which is a double-negation translation of classical logic into intuitionistic logic in the propositional case.

    Makefile

  3. ESNU_grader ESNU_grader Public

    Python

  4. VyZX_GraphTranslation VyZX_GraphTranslation Public

    Forked from inQWIRE/VyZX

    Verifying the ZX Calculus

    Coq

  5. CSILTutorScheduler CSILTutorScheduler Public

    Experimental tutor scheduler with weighted preferences based on a simulated annealing approach

    Python

  6. LeftRightRedditModerationOverlap LeftRightRedditModerationOverlap Public

    Jupyter Notebook