{"id":20608560,"url":"https://github.com/logicalhacking/lh-docker-isabelle","last_synced_at":"2026-03-10T13:05:34.000Z","repository":{"id":95337616,"uuid":"164303336","full_name":"logicalhacking/lh-docker-isabelle","owner":"logicalhacking","description":"A repository of Dockerfiles for running Isabelle or projects based on Isabelle.","archived":false,"fork":false,"pushed_at":"2023-03-04T18:57:24.000Z","size":42,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-12-10T04:58:11.534Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/logicalhacking.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-01-06T12:07:02.000Z","updated_at":"2022-10-30T20:44:32.000Z","dependencies_parsed_at":null,"dependency_job_id":"fd34f09a-efe9-40cd-8675-eb7a6fed91b8","html_url":"https://github.com/logicalhacking/lh-docker-isabelle","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/logicalhacking/lh-docker-isabelle","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2Flh-docker-isabelle","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2Flh-docker-isabelle/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2Flh-docker-isabelle/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2Flh-docker-isabelle/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/logicalhacking","download_url":"https://codeload.github.com/logicalhacking/lh-docker-isabelle/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2Flh-docker-isabelle/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30334412,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-10T12:41:07.687Z","status":"ssl_error","status_checked_at":"2026-03-10T12:41:06.728Z","response_time":106,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-16T10:11:00.977Z","updated_at":"2026-03-10T13:05:33.983Z","avatar_url":"https://github.com/logicalhacking.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# [Dockerfiles for Isabelle and Related Projects](https://git.logicalhacking.com/lh-docker/lh-docker-isabelle)\n\nThis repository contains Dockerfiles for running [Isabelle](https://isabelle.in.tum.de)\nand projects based on [Isabelle](https://isabelle.in.tum.de). The Dockerfiles are \ntested with [podman](https://podman.io/) and [Docker](https://www.docker.com). \n\n## List of Dockerfiles\n\n* [debian4isabelle](debian4isabelle/Dockerfile) provides a generic [Debian](https://www.debian.org)\n  image that serves as basis for the Isabelle docker files. This image is not\n  eagerly optimized for size, as it goal is to include all tools that are required for\n  running Isabelle and tools based on Isabelle (e.g., HOL-TestGen). The following \n  versions are available on docker hub:\n\n    * [logicalhacking/debian4isabelle](https://hub.docker.com/r/logicalhacking/debian4isabelle)\n\n* [isabelle](isabelle/Dockerfile) provides a parametrized Dockerfile to generate docker\n  images for various version of Isabelle. The image will also contain a copy of the most\n  recent version of the [AFP](https://www.isa-afp.org) available for the specified\n  version of Isabelle. The following versions are available on docker hub:\n\n    * [logicalhacking/isabelle2021](https://hub.docker.com/r/logicalhacking/isabelle2021)\n    * [logicalhacking/isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle2020)\n    * [logicalhacking/isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle2019)\n    * [logicalhacking/isabelle2018](https://hub.docker.com/r/logicalhacking/isabelle2018)\n    * [logicalhacking/isabelle2017](https://hub.docker.com/r/logicalhacking/isabelle2017)\n\n* [isabelle_dof](isabelle_dof/Dockerfile) provides a parametrized Dockerfile to generate\n  docker images of [Isabelle/DOF](https://git.logicalhacking.com/isabelle_dof/isabelle_dof).\n  [Isabelle/DOF](https://git.logicalhacking.com/isabelle_dof/isabelle_dof) is a document\n  authoring framework for Isabelle, provided by the University of Exeter and the University\n  of Paris-Saclay. The following versions are available on docker hub:\n\n    * [logicalhacking/isabelle_dof-1.1.0_isabelle2021](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.1.0_isabelle2021)\n    * [logicalhacking/isabelle_dof-1.1.0_isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.1.0_isabelle2020)\n    * [logicalhacking/isabelle_dof-1.0.0_isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.0.0_isabelle2019)\n\n## Authors\n\nMain author: [Achim D. Brucker](http://www.brucker.ch/)\n\n## License\n\nIf not otherwise stated, all Dockerfiles are licensed under a 2-clause\nBSD-style license.\n\nSPDX-License-Identifier: BSD-2-Clause\n\n## Master Repository\n\nThe master git repository for this project is hosted by the [Software\nAssurance \u0026 Security Research Team](https://logicalhacking.com) at\n\u003chttps://git.logicalhacking.com/lh-docker/lh-docker-isabelle\u003e.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flogicalhacking%2Flh-docker-isabelle","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flogicalhacking%2Flh-docker-isabelle","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flogicalhacking%2Flh-docker-isabelle/lists"}