Olof Kindgren : Positions

S

Creator

394 Commits in mostly coq

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

E

Author and lead developer

274 Commits in mostly Python

Analyzed about 11 hours ago. based on code collected about 12 hours ago.

F

1063 Commits in mostly coq

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

S

29 Commits in mostly XML

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

V

4 Commits in mostly coq

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

P

16 Commits in mostly Python

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

L

20 Commits in mostly coq

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

S

153 Commits in mostly coq

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

F

152 Commits in mostly coq

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

G

The analysis for this contribution has been scheduled.

Olof Kindgren