[{"_1":2,"_198":-5,"_199":-5},"loaderData",{"_3":4,"_13":14,"_20":21,"_171":172},"root",{"_5":-5,"_6":-7,"_7":8,"_9":-7,"_10":11,"_12":-7},"currentUser","primaryEmail","siteVerification","6LeIxAcTAAAAAJcZVRqyHh71UMIEGNQ_MXjiZKhI","toast","enableDev",false,"incidentStatus","routes/_layout",{"_15":-5,"_16":11,"_17":11,"_18":19},"username","isBillingDecouplingSeatCount","isSearchBoxExperimentEnabled","isAskGordonEnabled",true,"routes/_layout.r.$namespace.$reponame",{"_22":23,"_24":-5,"_25":11,"_26":11,"_27":28,"_29":30,"_31":-5,"_32":11,"_33":34,"_90":91,"_116":117,"_164":-5,"_165":11,"_166":11,"_167":11,"_168":-5,"_169":170},"canonicalUrl","https://hub.docker.com/r/eucm/formalz-fchecker/tags","mcpServer","canSeeDockerfile","canSeeAutobuilds","namespace","eucm","reponame","formalz-fchecker","cloudBuildSource","isAutobuildsAvailable","repo",{"_35":36,"_45":46,"_48":49,"_50":51,"_52":11,"_53":54,"_55":56,"_57":58,"_38":30,"_27":28,"_60":61,"_62":47,"_63":64,"_65":66,"_67":68,"_69":-5,"_70":64,"_71":72,"_73":11,"_74":28,"_75":76,"_81":11,"_82":83,"_87":28,"_88":89},"categories",[37,42],{"_38":39,"_40":41},"name","Languages & frameworks","slug","languages-and-frameworks",{"_38":43,"_40":44},"Integration & delivery","integration-and-delivery","content_types",[47],"image","date_registered","2020-06-04T17:37:59.240522Z","description","FormalZ fchecker software docker image (https://github.com/FormalZ/fchecker)","is_private","last_updated","2020-06-08T09:48:02.830874Z","last_modified","2024-10-16T13:48:34.145251Z","media_types",[59],"application/vnd.docker.container.image.v1+json","pull_count",1402,"repository_type","star_count",0,"status",1,"status_description","active","source","collaborator_count","full_description","# formalz-fchecker-docker\nFormalZ fchecker software docker image (https://github.com/FormalZ/fchecker)\n\n# Patreons\n\nA special thanks to our patreons for supporting this project:\n\n\n \n \n \n \n \n

\n \n $\"Universidad$ \n \n

\n \n $\"IMPRESS$ \n \n

\n \n $\"Erasmus+$ \n \n

\n\n# License\n\nThis project is licensed under the Apache 2.0 License - see the [LICENSE](https://github.com/e-ucm/formalz-fchecker-docker/blob/master/LICENSE) file for details.","has_starred","hub_user","immutable_tags_settings",{"_77":11,"_78":79},"enabled","rules",[80],".*","is_automated","permissions",{"_84":19,"_85":11,"_86":11},"read","write","admin","user","storage_size",72519741,"orgData",{"_92":93,"_94":95,"_96":97,"_98":28,"_99":100,"_101":102,"_103":104,"_105":106,"_107":108,"_109":110,"_111":112,"_113":114,"_115":19},"id","e68005a4eaea47a3be6b3bd785c1b954","uuid","e68005a4-eaea-47a3-be6b-3bd785c1b954","type","organization","orgname","full_name","e-UCM Research Group","location","Madrid","company","Universidad Complutense de Madrid","profile_url","http://www.e-ucm.es/","date_joined","2015-09-29T10:18:33.102019Z","gravatar_url","https://www.gravatar.com/avatar/f961ad8d64ddafd85766b53fbbf534fe?s=80&r=g&d=mm","gravatar_email","","badge","open_source","is_active","recentTags",[118,154],{"_119":47,"_120":121,"_122":123,"_92":124,"_125":126,"_53":143,"_144":121,"_145":28,"_146":59,"_38":147,"_148":149,"_150":134,"_151":143,"_152":68,"_153":19},"content_type","creator",455727,"full_size",49614955,103538104,"images",[127],{"_128":129,"_130":131,"_132":112,"_133":134,"_135":136,"_137":138,"_139":112,"_140":-5,"_141":123,"_65":68,"_142":-5},"architecture","amd64","digest","sha256:fc9a06db5f1f7d47a324ab13ba789d8993e4adf8b1079edf732e762339f92150","features","last_pulled","2026-07-16T16:14:05.389434816Z","last_pushed","2020-06-04T18:28:00Z","os","linux","os_features","os_version","size","variant","2020-06-08T09:48:02.510372Z","last_updater","last_updater_username","media_type","latest","repository",9189414,"tag_last_pulled","tag_last_pushed","tag_status","v2",{"_119":47,"_120":121,"_122":155,"_92":156,"_125":157,"_53":162,"_144":121,"_145":28,"_146":59,"_38":163,"_148":149,"_150":160,"_151":162,"_152":68,"_153":19},49614967,103546659,[158],{"_128":129,"_130":159,"_132":112,"_133":160,"_135":161,"_137":138,"_139":112,"_140":-5,"_141":155,"_65":68,"_142":-5},"sha256:e6059dd61e1525db1338a7d14481a374e153d6c491084c4f5a3e405cb8c68d85","2026-07-15T11:05:31.130751254Z","2020-06-04T19:26:18Z","2020-06-04T19:26:17.898272Z","1.0.0","sbxKitMetadata","isPotentialSpam","isHubSbxKitsEnabled","displaySecurityMetadata","tagAttestations","tagsHaveAttestations",[],"routes/_layout.r.$namespace.$reponame.tags",{"_33":173,"_182":183,"_169":196,"_197":11},{"_35":174,"_45":177,"_48":49,"_50":51,"_52":11,"_53":54,"_55":56,"_57":178,"_38":30,"_27":28,"_60":61,"_62":47,"_63":64,"_65":66,"_67":68,"_69":-5,"_70":64,"_71":72,"_73":11,"_74":28,"_75":179,"_81":11,"_82":181,"_87":28,"_88":89},[175,176],{"_38":39,"_40":41},{"_38":43,"_40":44},[47],[59],{"_77":11,"_78":180},[80],{"_84":19,"_85":11,"_86":11},"tags",{"_184":185,"_186":-5,"_187":-5,"_188":189},"count",2,"next","previous","results",[190,193],{"_119":47,"_120":121,"_122":123,"_92":124,"_125":191,"_53":143,"_144":121,"_145":28,"_146":59,"_38":147,"_148":149,"_150":134,"_151":143,"_152":68,"_153":19},[192],{"_128":129,"_130":131,"_132":112,"_133":134,"_135":136,"_137":138,"_139":112,"_140":-5,"_141":123,"_65":68,"_142":-5},{"_119":47,"_120":121,"_122":155,"_92":156,"_125":194,"_53":162,"_144":121,"_145":28,"_146":59,"_38":163,"_148":149,"_150":160,"_151":162,"_152":68,"_153":19},[195],{"_128":129,"_130":159,"_132":112,"_133":160,"_135":161,"_137":138,"_139":112,"_140":-5,"_141":155,"_65":68,"_142":-5},[],"canDeleteTags","actionData","errors"]

eucm/formalz-fchecker

Tags for eucm/formalz-fchecker