Skip to content
View jordilevy's full-sized avatar
1 follower · 1 following

Block or report jordilevy

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. math-categories-awodey math-categories-awodey Public

    Forked from blargoner/math-categories-awodey

    Notes and exercises from Category Theory, 2nd ed. by Awodey

    TeX

  2. lipics lipics Public

    Forked from prosysscience/lipics

    LIPIcs LaTeX template by Dagstuhl Publishing

    TeX

  3. pyPolyCal pyPolyCal Public

    An implementation of the Polynomial Calculus for MaxSAT in Python

    Python

  4. website website Public

    Forked from satlive/website

    SAT Live! web site

    HTML