Skip to content
  • CNRS/Inria LSV
  • ENS Paris Saclay (Cachan)
Pro
Block or report user

Report or block Rehan-MALAK

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
  • CNRS/Inria LSV
  • ENS Paris Saclay (Cachan)
Block or report user

Report or block Rehan-MALAK

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. Forked from contiki-ng/contiki-ng

    Contiki-NG: The OS for Next Generation IoT Devices

    C 1

  2. Forked from RedPRL/redtt

    "Between the darkness and the dawn, a red cube rises!": an experimental implementation of guarded cartesian cubical type theory

    OCaml

  3. Benjamin C.Pierce OCaml typecheckers

    OCaml

  4. Shameless OCamldebug plugin for vim. Works on my laptop and doesn't work anywhere else.

    Vim script

  5. Forked from Frama-C/Frama-C-snapshot

    Release snapshots of the Frama-C platform for source code analysis

    OCaml

45 contributions in the last year

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

Contribution activity

January 2020

Created an issue in Deducteam/lambdapi that received 6 comments

Bug in rule RHS type inference.

Dear all, The following example test.dk typechecks with Deducteam/Dedukti@e6310f8 U : Type. u : U. f : (U -> U) -> Type. def G : U -> Type. H : U -…

6 comments

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

You can’t perform that action at this time.