Skip to content
View ata-keskin's full-sized avatar

Block or report ata-keskin

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned Loading

  1. martingales martingales Public

    A Formalization of Martingales using Isabelle/HOL

    Isabelle 1

  2. FishyBumpers FishyBumpers Public

    This was my submission for the Bumpers Competition for the course Introduction to Software Engineering

    Java

  3. smith-nf-calculator smith-nf-calculator Public

    A Smith normal form calculator for integer matrices written in Python.

    Python

  4. eudoxus-reals eudoxus-reals Public

    An unusual construction of the real numbers using Isabelle/HOL

    Isabelle

  5. upcrossings upcrossings Public

    A Formalization of Doob's Upcrossing Inequality and Martingale Convergence Theorems using Isabelle/HOL

    Isabelle

  6. sauer-shelah-lemma sauer-shelah-lemma Public

    A Formalization of the Sauer-Shelah Lemma using Isabelle/HOL

    Isabelle