diff --git a/ivy-proofs/Dockerfile b/spec/ivy-proofs/Dockerfile
similarity index 100%
rename from ivy-proofs/Dockerfile
rename to spec/ivy-proofs/Dockerfile
diff --git a/ivy-proofs/README.md b/spec/ivy-proofs/README.md
similarity index 100%
rename from ivy-proofs/README.md
rename to spec/ivy-proofs/README.md
diff --git a/ivy-proofs/abstract_tendermint.ivy b/spec/ivy-proofs/abstract_tendermint.ivy
similarity index 100%
rename from ivy-proofs/abstract_tendermint.ivy
rename to spec/ivy-proofs/abstract_tendermint.ivy
diff --git a/ivy-proofs/accountable_safety_1.ivy b/spec/ivy-proofs/accountable_safety_1.ivy
similarity index 100%
rename from ivy-proofs/accountable_safety_1.ivy
rename to spec/ivy-proofs/accountable_safety_1.ivy
diff --git a/ivy-proofs/accountable_safety_2.ivy b/spec/ivy-proofs/accountable_safety_2.ivy
similarity index 100%
rename from ivy-proofs/accountable_safety_2.ivy
rename to spec/ivy-proofs/accountable_safety_2.ivy
diff --git a/ivy-proofs/check_proofs.sh b/spec/ivy-proofs/check_proofs.sh
similarity index 100%
rename from ivy-proofs/check_proofs.sh
rename to spec/ivy-proofs/check_proofs.sh
diff --git a/ivy-proofs/classic_safety.ivy b/spec/ivy-proofs/classic_safety.ivy
similarity index 100%
rename from ivy-proofs/classic_safety.ivy
rename to spec/ivy-proofs/classic_safety.ivy
diff --git a/ivy-proofs/count_lines.sh b/spec/ivy-proofs/count_lines.sh
similarity index 100%
rename from ivy-proofs/count_lines.sh
rename to spec/ivy-proofs/count_lines.sh
diff --git a/ivy-proofs/docker-compose.yml b/spec/ivy-proofs/docker-compose.yml
similarity index 100%
rename from ivy-proofs/docker-compose.yml
rename to spec/ivy-proofs/docker-compose.yml
diff --git a/ivy-proofs/domain_model.ivy b/spec/ivy-proofs/domain_model.ivy
similarity index 100%
rename from ivy-proofs/domain_model.ivy
rename to spec/ivy-proofs/domain_model.ivy
diff --git a/ivy-proofs/network_shim.ivy b/spec/ivy-proofs/network_shim.ivy
similarity index 100%
rename from ivy-proofs/network_shim.ivy
rename to spec/ivy-proofs/network_shim.ivy
diff --git a/ivy-proofs/output/.gitignore b/spec/ivy-proofs/output/.gitignore
similarity index 100%
rename from ivy-proofs/output/.gitignore
rename to spec/ivy-proofs/output/.gitignore
diff --git a/ivy-proofs/tendermint.ivy b/spec/ivy-proofs/tendermint.ivy
similarity index 100%
rename from ivy-proofs/tendermint.ivy
rename to spec/ivy-proofs/tendermint.ivy
diff --git a/ivy-proofs/tendermint_test.ivy b/spec/ivy-proofs/tendermint_test.ivy
similarity index 100%
rename from ivy-proofs/tendermint_test.ivy
rename to spec/ivy-proofs/tendermint_test.ivy