Martin Bodin : Positions

C

Administrator and developper Affiliated with ENS Lyon

59 Commits in mostly C++

Analyzed 12 months ago. based on code collected 12 months ago.

M

Creator and developper

The analysis for this contribution has been scheduled.

S

Creator and Administrator

17 Commits in mostly JavaScript

Analyzed 12 months ago. based on code collected 12 months ago.

T

Creator and main developper

The analysis for this contribution has been scheduled.

T

Creator and developper

The analysis for this contribution has been scheduled.

A

Initiator

The analysis for this contribution has been scheduled.

J

Affiliated with INRIA

542 Commits in mostly coq

Analyzed 12 months ago. based on code collected 12 months ago.

Martin Bodin