No group avatar

@FP

Derek's Foundations of Programming group

  • LambdaRust-coq

    The Coq development of LambdaRust

    updated
  • iris-coq

    The Coq development for Iris

    updated
  • ra-gps

    A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

    updated
  • iris-atomic

    Logically Atomic Triples in Iris

    updated