{"name":"Barcelona Group on Pure and Applied Proof Theory","short_name":"Barcelona Group on Pure and Applied Proof Theory","lang":"en-us","theme_color":"#1565c0","background_color":"#1565c0","icons":[{"src":"/prooftheory/media/icon_hu8641efd76cb7bfa334ae6fb40520616e_722514_192x192_fill_lanczos_center_3.png","sizes":"192x192","type":"image/png"},{"src":"/prooftheory/media/icon_hu8641efd76cb7bfa334ae6fb40520616e_722514_512x512_fill_lanczos_center_3.png","sizes":"512x512","type":"image/png"}],"display":"standalone","start_url":"/?utm_source=web_app_manifest"}