diff --git a/proofs/psnj_chainprops/.gitignore b/proofs/chainprops/.gitignore
similarity index 100%
rename from proofs/psnj_chainprops/.gitignore
rename to proofs/chainprops/.gitignore
diff --git a/proofs/psnj_chainprops/.ocamlformat b/proofs/chainprops/.ocamlformat
similarity index 100%
rename from proofs/psnj_chainprops/.ocamlformat
rename to proofs/chainprops/.ocamlformat
diff --git a/proofs/chainprops/Makefile b/proofs/chainprops/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..f18c18c10fd98a257de270949889131b39e1c6e4
--- /dev/null
+++ b/proofs/chainprops/Makefile
@@ -0,0 +1,7 @@
+all: psnj-chainprops
+
+_build/default/chainprops.exe: chainprops.ml
+	@dune build
+
+psnj-chainprops: _build/default/chainprops.exe
+	@cp -f _build/default/chainprops.exe psnj-chainprops
diff --git a/proofs/psnj_chainprops/psnj_chainprops.ml b/proofs/chainprops/chainprops.ml
similarity index 100%
rename from proofs/psnj_chainprops/psnj_chainprops.ml
rename to proofs/chainprops/chainprops.ml
diff --git a/proofs/psnj_chainprops/psnj_chainprops.opam b/proofs/chainprops/chainprops.opam
similarity index 88%
rename from proofs/psnj_chainprops/psnj_chainprops.opam
rename to proofs/chainprops/chainprops.opam
index 942d86c6a6c05cb604a96206e45181f6556e3804..c69df8e8146f2e8ab636088cf1ed40054718750f 100644
--- a/proofs/psnj_chainprops/psnj_chainprops.opam
+++ b/proofs/chainprops/chainprops.opam
@@ -2,8 +2,8 @@
 opam-version: "2.0"
 depends: [
   "dune" {>= "2.9"}
-  "cmdliner" {>= "1.0.4"}
-  "angstrom" {>= "0.15.0"}
+  "cmdliner"
+  "angstrom"
   "odoc" {with-doc}
 ]
 build: [
diff --git a/proofs/psnj_chainprops/dune b/proofs/chainprops/dune
similarity index 64%
rename from proofs/psnj_chainprops/dune
rename to proofs/chainprops/dune
index c7fe01795baf796d20c7dedd6e25e9e16e490981..221f0f683c67065fa885759392857d2ae3eb9251 100644
--- a/proofs/psnj_chainprops/dune
+++ b/proofs/chainprops/dune
@@ -1,3 +1,3 @@
 (executable
- (name psnj_chainprops)
+ (name chainprops)
  (libraries angstrom cmdliner))
diff --git a/proofs/chainprops/dune-project b/proofs/chainprops/dune-project
new file mode 100644
index 0000000000000000000000000000000000000000..dd97310a141a6a36fec2a12728d397f5dd7df44c
--- /dev/null
+++ b/proofs/chainprops/dune-project
@@ -0,0 +1,9 @@
+(lang dune 2.9)
+(name chainprops)
+
+(generate_opam_files true)
+
+(package
+ (name chainprops)
+ (depends
+  cmdliner angstrom))
diff --git a/proofs/psnj_chainprops/Makefile b/proofs/psnj_chainprops/Makefile
deleted file mode 100644
index 369050191ad42c980606e3783fa17a91b9ffa4d0..0000000000000000000000000000000000000000
--- a/proofs/psnj_chainprops/Makefile
+++ /dev/null
@@ -1,7 +0,0 @@
-all: psnj-chainprops
-
-_build/default/psnj_chainprops.exe: psnj_chainprops.ml
-	@dune build
-
-psnj-chainprops: _build/default/psnj_chainprops.exe
-	@cp -f _build/default/psnj_chainprops.exe psnj-chainprops
diff --git a/proofs/psnj_chainprops/dune-project b/proofs/psnj_chainprops/dune-project
deleted file mode 100644
index 4d4837bfadb942052c1032e5c7d23a60adb53e36..0000000000000000000000000000000000000000
--- a/proofs/psnj_chainprops/dune-project
+++ /dev/null
@@ -1,10 +0,0 @@
-(lang dune 2.9)
-(name psnj_chainprops)
-
-(generate_opam_files true)
-
-(package
- (name psnj_chainprops)
- (depends
-  (cmdliner (>= 1.0.4))
-  (angstrom (>= 0.15.0))))