{
  "slug": "prover",
  "keyword": "prover",
  "total": 4,
  "topicTotal": 4,
  "group": null,
  "groups": [
    {
      "group": "blogs",
      "kinds": [
        "blog"
      ],
      "feedCount": 4,
      "page": "https://rssamplifier.com/topics/prover/blogs",
      "feeds": "https://rssamplifier.com/topics/prover/blogs.json"
    }
  ],
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/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": "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": 5,
      "page": "https://rssamplifier.com/acornprover-org-blog"
    },
    {
      "slug": "logicgrimoire-wordpress-com",
      "title": "the logic grimoire",
      "description": null,
      "siteUrl": "https://logicgrimoire.wordpress.com",
      "feedUrl": "https://logicgrimoire.wordpress.com/feed/atom",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/logicgrimoire-wordpress-com"
    },
    {
      "slug": "risencrypto-github-io",
      "title": "Risen Crypto",
      "description": "Mathematical Cryptography, zkSNARKs",
      "siteUrl": "https://risencrypto.github.io/",
      "feedUrl": "https://risencrypto.github.io/feed",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/risencrypto-github-io"
    }
  ]
}