{"name":"Formal bytes: The Axiomise Podcast Channel","short_name":"Formal bytes: The Axiomise Podcast Channel","theme_color":"#ffffff","start_url":"/","display":"standalone","background_color":"#fff","description":"Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.","icons":[{"src":"https://deow9bq0xqvbj.cloudfront.net/image-logo/7591269/apple_podcast_logo_axiomise_300x300.png","sizes":"300x300","type":"image/png"}]}