Block or report user

Report or block mathink

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Cat_on_Coq

    Setoid-based Category Theory in Coq 8.5.

    HTML 11

  2. pg-org

    Combination of ProofGeneral and Org-mode (experimental)

    Emacs Lisp 3

  3. mpl

    Monads with Predicate Liftings in Coq

    Coq 2

  4. mslambda

    Map, Skeleton, Lambda term.

    Coq 2

  5. FAMasTC

    Functor-Applicative-Monad

    Coq 1

  6. gijinka

    Forked from pasberth/gijinka

    #言語擬人化学園もの

2 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

February - October 2018

mathink has no activity yet for this period.

January 2018

Seeing something unexpected? Take a look at the GitHub profile guide.