Skip to content
View t6s's full-sized avatar

Organizations

@math-comp

Block or report t6s

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. qecc qecc Public

    Coq 6

  2. coq coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 1

  3. DyNagoya-SOM DyNagoya-SOM Public

    Forked from newapplesho/DyNagoya-SOM

    Smalltalk

  4. zfc-ssreflect zfc-ssreflect Public

    Forked from srbmiy/ssreflect

    ssreflect library

    Coq

  5. lets-get-arrested lets-get-arrested Public

    Forked from hamukazu/lets-get-arrested

    This project is intended to protest against the police in Japan

    HTML

  6. tpp2021 tpp2021 Public

    The 17th Theorem Proving and Provers meeting (TPP 2021)

    OCaml