Olof Kindgren : Positions

S

Creator

393 Commits in mostly coq

Analyzed about 10 hours ago. based on code collected about 10 hours ago.

E

Author and lead developer

274 Commits in mostly Python

Analyzed 1 day ago. based on code collected 1 day ago.

S

29 Commits in mostly XML

Analyzed about 2 hours ago. based on code collected about 2 hours ago.

V

4 Commits in mostly coq

Analyzed about 15 hours ago. based on code collected about 15 hours ago.

F

1062 Commits in mostly coq

Analyzed 1 day ago. based on code collected 1 day ago.

P

16 Commits in mostly Python

Analyzed about 11 hours ago. based on code collected 2 days ago.

L

20 Commits in mostly coq

Analyzed 1 day ago. based on code collected 1 day ago.

S

153 Commits in mostly coq

Analyzed about 5 hours ago. based on code collected about 5 hours ago.

F

152 Commits in mostly coq

Analyzed about 19 hours ago. based on code collected about 19 hours ago.

G

The analysis for this contribution has been scheduled.

Olof Kindgren