{
  "slug": "proving",
  "keyword": "proving",
  "total": 9,
  "topicTotal": 9,
  "group": null,
  "groups": [
    {
      "group": "blogs",
      "kinds": [
        "blog"
      ],
      "feedCount": 8,
      "page": "https://rssamplifier.com/topics/proving/blogs",
      "feeds": "https://rssamplifier.com/topics/proving/blogs.json"
    },
    {
      "group": "podcasts",
      "kinds": [
        "podcast"
      ],
      "feedCount": 1,
      "page": "https://rssamplifier.com/topics/proving/podcasts",
      "feeds": "https://rssamplifier.com/topics/proving/podcasts.json"
    },
    {
      "group": "audio",
      "kinds": [
        "podcast",
        "music"
      ],
      "feedCount": 1,
      "page": "https://rssamplifier.com/topics/proving/audio",
      "feeds": "https://rssamplifier.com/topics/proving/audio.json"
    }
  ],
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/proving",
  "feeds": [
    {
      "slug": "protocols-made-fun-com",
      "title": "Protocols Made Fun",
      "description": "All things about protocol specification, testing, and verification. Creative Commons Attribution 4.0 International License.",
      "siteUrl": "https://protocols-made-fun.com/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed",
      "feedUrl": "https://protocols-made-fun.com/feed.xml",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 2,
      "page": "https://rssamplifier.com/protocols-made-fun-com"
    },
    {
      "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": "digdeeper-neocities-org",
      "title": "Dig Deeper",
      "description": null,
      "siteUrl": "/favicon.ico",
      "feedUrl": "https://digdeeper.neocities.org/atom.xml",
      "kind": "blog",
      "itemCount": 303,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/digdeeper-neocities-org"
    },
    {
      "slug": "digdeeper-club",
      "title": "Dig Deeper",
      "description": null,
      "siteUrl": "/favicon.ico",
      "feedUrl": "https://digdeeper.club/atom.xml",
      "kind": "blog",
      "itemCount": 303,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/digdeeper-club"
    },
    {
      "slug": "digdeeper-love",
      "title": "Dig Deeper",
      "description": null,
      "siteUrl": "/favicon.ico",
      "feedUrl": "https://digdeeper.love/atom.xml",
      "kind": "blog",
      "itemCount": 303,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/digdeeper-love"
    },
    {
      "slug": "blag-cedeela-fr",
      "title": "The Blag",
      "description": "Logic, Computer Graphics, OCaml, Rust, etc.",
      "siteUrl": "https://blag.cedeela.fr",
      "feedUrl": "https://blag.cedeela.fr/rss.xml",
      "kind": "blog",
      "itemCount": 21,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/blag-cedeela-fr"
    },
    {
      "slug": "cedeela-fr",
      "title": "The Blag",
      "description": "Logic, Computer Graphics, OCaml, Rust, etc.",
      "siteUrl": "https://blag.cedeela.fr",
      "feedUrl": "https://cedeela.fr/atom.xml",
      "kind": "blog",
      "itemCount": 21,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/cedeela-fr"
    },
    {
      "slug": "crypto-made-easy",
      "title": "Crypto Made Easy",
      "description": "Crypto terms and concepts explained like never before. Distilled by nairolf.",
      "siteUrl": "https://0xnairolf.substack.com",
      "feedUrl": "https://0xnairolf.substack.com/feed",
      "kind": "podcast",
      "itemCount": 13,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/crypto-made-easy"
    },
    {
      "slug": "kuruczgy-com-blog",
      "title": "Gyuri's blog",
      "description": "Recent content in Blogs on György Kurucz's blog",
      "siteUrl": "https://kuruczgy.com/",
      "feedUrl": "https://kuruczgy.com/blog/index.xml",
      "kind": "blog",
      "itemCount": 5,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/kuruczgy-com-blog"
    }
  ]
}