{
  "slug": "theorem-prover",
  "keyword": "theorem prover",
  "total": 3,
  "topicTotal": 3,
  "group": null,
  "groups": [
    {
      "group": "blogs",
      "kinds": [
        "blog"
      ],
      "feedCount": 3,
      "page": "https://rssamplifier.com/topics/theorem-prover/blogs",
      "feeds": "https://rssamplifier.com/topics/theorem-prover/blogs.json"
    }
  ],
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/theorem-prover",
  "feeds": [
    {
      "slug": "ntaylor-ca",
      "title": "Nathan Taylor's blog (ntaylor.ca)",
      "description": "A blog about programming, theorem provers, and formal methods",
      "siteUrl": "https://dijkstracula.github.io/",
      "feedUrl": "https://ntaylor.ca/feed.xml",
      "kind": "blog",
      "itemCount": 22,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/ntaylor-ca"
    },
    {
      "slug": "josephtoobysmith-com",
      "title": "Joseph Tooby-Smith",
      "description": "A portfolio website",
      "siteUrl": "https://josephtoobysmith.com/",
      "feedUrl": "https://josephtoobysmith.com/feed",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/josephtoobysmith-com"
    },
    {
      "slug": "acornprover-org-blog",
      "title": "The Acorn Theorem Prover Blog",
      "description": "The Acorn Theorem Prover Blog",
      "siteUrl": "https://acornprover.org/blog/",
      "feedUrl": "https://acornprover.org/blog/atom.xml",
      "kind": "blog",
      "itemCount": 9,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/acornprover-org-blog"
    }
  ]
}