diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..ba02942
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "RDLProofSystem"]
+	path = RDLProofSystem
+	url = http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/RDLProofSystem.git
diff --git a/RDLProofSystem b/RDLProofSystem
new file mode 160000
index 0000000..0381337
--- /dev/null
+++ b/RDLProofSystem
@@ -0,0 +1 @@
+Subproject commit 0381337f440eba77ac594c81a06122f8ef9b8d54
diff --git a/build.gradle b/build.gradle
index fc13742..43909be 100644
--- a/build.gradle
+++ b/build.gradle
@@ -16,6 +16,7 @@
 
 dependencies {
     implementation project(':RDLApplicationRuntime')
+    implementation project(':RDLProofSystem')
     testImplementation platform('org.junit:junit-bom:5.10.0')
     testImplementation 'org.junit.jupiter:junit-jupiter'
 }
diff --git a/settings.gradle b/settings.gradle
index 2a4a31c..cb5e93d 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -1,3 +1,4 @@
 rootProject.name = 'RDLCanvas'
 
-include 'RDLApplicationRuntime'
\ No newline at end of file
+include 'RDLApplicationRuntime'
+include 'RDLProofSystem'
\ No newline at end of file