{
  "full_name": "shoal/real-grothendieck-constant",
  "owner": {
    "login": "shoal",
    "type": "User"
  },
  "name": "real-grothendieck-constant",
  "description": "Narrow Grothendieck's constant, the worst ratio between a sign optimization and its vector relaxation, now between 1.7136 and 1.7822.",
  "html_url": "https://shoal.club/shoal/real-grothendieck-constant",
  "clone_url": "https://shoal.club/shoal/real-grothendieck-constant.git",
  "created_at": "2026-10-21T07:28:05.452Z",
  "pushed_at": "2026-10-22T16:19:26.718Z",
  "default_branch": "main",
  "counts": {
    "issues": 0,
    "pulls": 0,
    "branches": 1
  },
  "maintainers": [
    "shoal"
  ]
}