From 6791a6faeff4488518ee9e93bd08034b5cced0b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Laurent?= <theo.laurent@inria.fr>
Date: Fri, 5 Jan 2024 11:58:11 +0100
Subject: [PATCH] add instructions to load the docker image

---
 DOCKER.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/DOCKER.md b/DOCKER.md
index 84b2c31..dd1718c 100644
--- 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: