add instructions to load the docker image

CoqHott · Jan 5, 2024 · 6791a6f · 6791a6f
1 parent 77a4664
commit 6791a6f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/DOCKER.md b/DOCKER.md
@@ -7,6 +7,13 @@ docker build -t formalization .
 docker save formalization > formalization-docker.tar
 ```
 
+# Load Docker Image
+
+To load the docker image
+```
+docker load --input formalization-docker.tar
+```
+
 # Run Container
 
 For running the container: