Block or report user

Report or block youqad

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. Coherence-of-Heyting-arithmetic

    Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)

    Coq

  2. Neurorobotics_Reinforcement-Learning

    Neurobotics first lab on Reinforcement Learning, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)

    Python

  3. Coq_Project

    Coq Project at ENS Paris-Saclay, teacher : François Thiré

    HTML

  4. Logics_Project

    Logics Project at ENS Paris-Saclay

    HTML

  5. mini_compilo

    Mini-compiler Project at ENS Paris-Saclay, teachers : François Thiré / Jean Goubault-Larrecq

    Assembly

  6. DM_Programmation2

    DM de Programmation Avancée à l'ENS Paris-Saclay donné par Etienne Lozes : http://www.lsv.fr/~lozes/Enseignement/ProgAvancee/DM/dm.pdf

    OCaml

1,233 contributions in the last year

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

Contribution activity

September 2018

56 contributions in private repositories Sep 5 – Sep 22

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