beta-ziliani/ssreflect-1.4

---

beta-ziliani/ssreflect-1.4.json

{
  "createdAt": "2014-02-04T12:42:03Z",
  "defaultBranch": "master",
  "description": "Ssreflect",
  "fullName": "beta-ziliani/ssreflect-1.4",
  "homepage": null,
  "language": "Coq",
  "name": "ssreflect-1.4",
  "pushedAt": "2014-12-30T14:42:06Z",
  "stargazersCount": 1,
  "topics": [],
  "updatedAt": "2016-12-05T04:20:15Z",
  "url": "https://github.com/beta-ziliani/ssreflect-1.4"
}

ssreflect-1.4

Ssreflect