Skip to content
View cmadlener's full-sized avatar
⛰️
⛰️

Block or report cmadlener

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

Popular repositories Loading

  1. archive-of-graph-formalizations archive-of-graph-formalizations Public

    Forked from wimmers/archive-of-graph-formalizations

    This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.

    Isabelle 1 3

  2. isabelle-online-matching-primal-dual isabelle-online-matching-primal-dual Public

    Formal Primal-Dual Analysis of Online Matching Algorithms

    Isabelle 1

  3. algebraic_graphs algebraic_graphs Public

    Algebraic Graphs in Isabelle/HOL

    TeX

  4. isabelle-ranking isabelle-ranking Public

    Isabelle/HOL formalization of the RANKING algorithm

    Isabelle