Repositories Users Organizations

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

Search

lh-docker / lh-docker-isabelle

Dockerfile 0 0

A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

Updated 3 weeks ago

lh-docker / lh-docker-scale-mamba

Dockerfile 0 0

Container definitions (tested with docker and podman) for SCALE-MAMBA.

Updated 2 years ago