Skip to content
View thibautbenjamin's full-sized avatar
👋
👋
Block or Report

Block or report thibautbenjamin

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

    Coherence typechecker for infinity categories

    OCaml 17 1

  2. OcaEmu OcaEmu Public

    An OCaml-based emulator for the Space Invaders arcade machine

    OCaml 3

  3. catt-formalization catt-formalization Public

    An agda prototype formalization of the CaTT type theory

    Agda 2

  4. ReprSymGroup ReprSymGroup Public

    Coq 1

  5. cubicatt cubicatt Public

    OCaml 1

  6. S4A S4A Public

    TeX