Skip to content
@MPRI

MPRI

Popular repositories Loading

  1. M2-4-2 M2-4-2 Public

    Functional programming and type systems

    115 22

  2. M2-7-1 M2-7-1 Public

    Foundations of proof systems

    8 2

  3. M2-20-2 M2-20-2 Public

    Mathematical foundations of automata theory

    8 1

  4. M2-6 M2-6 Public

    Abstract interpretation: application to verification and static analysis

    4 3

  5. M2-29-1 M2-29-1 Public

    Graph algorithms

    2 1

  6. M2-7-2 M2-7-2 Public

    Proof assistants

    1 1

Repositories

Showing 7 of 7 repositories
  • M2-7-2 Public

    Proof assistants

    MPRI/M2-7-2’s past year of commit activity
    1 1 0 0 Updated Dec 17, 2015
  • M2-7-1 Public

    Foundations of proof systems

    MPRI/M2-7-1’s past year of commit activity
    8 2 0 0 Updated Oct 8, 2015
  • M2-29-1 Public

    Graph algorithms

    MPRI/M2-29-1’s past year of commit activity
    2 1 0 0 Updated Oct 5, 2015
  • M2-4-2 Public

    Functional programming and type systems

    MPRI/M2-4-2’s past year of commit activity
    115 22 0 0 Updated Oct 2, 2015
  • M2-6 Public

    Abstract interpretation: application to verification and static analysis

    MPRI/M2-6’s past year of commit activity
    4 3 0 0 Updated Sep 30, 2015
  • M2-1 Public

    Linear logic and logical paradigms of computation

    MPRI/M2-1’s past year of commit activity
    TeX 0 1 0 0 Updated Sep 24, 2015
  • M2-20-2 Public

    Mathematical foundations of automata theory

    MPRI/M2-20-2’s past year of commit activity
    8 1 0 0 Updated Sep 21, 2015

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

TeX

Most used topics

Loading…