Olof Kindgren : Positions

E

Author and lead developer

271 Commits in mostly Python

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

F

1062 Commits in mostly coq

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

S

Creator

390 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 22 hours ago. based on code collected about 22 hours ago.

S

153 Commits in mostly coq

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

F

152 Commits in mostly coq

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

G

The analysis for this contribution has been scheduled.

I

81 Commits in mostly Python

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

V

3 Commits in mostly coq

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

Olof Kindgren