The Coq Development Team
|
|
 |
| Most Downloaded Software: Coq |
| Most Famous Software: Coq |
| Total Software Listed: 1 |
| Website: http://coq.inria.fr/coq-eng.html |
| Services:
|
| November Downloads:0 |
|
 |
|
|
|
|  |
|
 |
Most Popular Software
Coq
Nov Downloads: 0 Votes: 0 ↑
|
|
 |
 |
Are you a Software Publisher?
|  |
Famous Software Categories
Famous Software Tags
Expression #1 of SELECT list is not in GROUP BY clause and contains nonaggregated column 'famousw_famousdata.tags.tag_id' which is not functionally dependent on columns in GROUP BY clause; this is incompatible with sql_mode=only_full_group_by |
