|
|
|
|
|
|
by tacker2000
465 days ago
|
|
|
According to the post, 24% "expressed discomfort: (it is uncomfortable or awkward to have to use the name Coq)" PS: i am impressed by the time and effort that was given here to create fancy graphs, regressions, tests, etc... |
|
|