Skip to content
View tabareau's full-sized avatar
29 followers · 0 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@MetaRocq

Block or report tabareau

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. Cocasse Cocasse Public

    A library for Gradual Certified Programming in Coq

    Coq 9 2

  2. Forcing Forcing Public

    Forked from mattam82/Forcing

    Forcing layer on top of Coq

    Coq 1

  3. AJoCaml AJoCaml Public

    Implementation of the aspect join calculus based on JoCaml

    OCaml 1

  4. lmfi_hott lmfi_hott Public

    Course on HoTT at LMFI Master

    Coq 1

  5. omega_categories omega_categories Public

    Formalisation of strict omega categories and the homotopy hypothesis in type theory, using coinduction

    Coq 1

  6. coq-forcing coq-forcing Public

    Forked from ppedrot/coq-forcing

    Tentative implementation of call-by-name forcing in Coq

    OCaml