Consistent formatting and unneeded things removal for 2p-kt and kt-math

Author: ileasile

2p-kt.json

@@ -1,19 +1,10 @@
 {
-    "description": "A Kotlin Multi-Platform ecosystem for symbolic AI",
+    "description": "Kotlin Multi-Platform ecosystem for symbolic AI",
     "properties": [
-        {
-            "name": "v",
-            "value": "0.31.9"
-        },
-        {
-            "name": "v-renovate-hint",
-            "value": "update: package=it.unibo.tuprolog:full"
-        }
+        { "name": "v", "value": "0.31.9" },
+        { "name": "v-renovate-hint", "value": "update: package=it.unibo.tuprolog:full" }
     ],
     "link": "https://github.com/gciatto/kt-math",
-    "repositories": [
-        "https://repo1.maven.org/maven2"
-    ],
     "dependencies": [
         "it.unibo.tuprolog:solve-classic-jvm:$v",
         "it.unibo.tuprolog:parser-theory-jvm:$v",
@@ -27,4 +18,4 @@
         "it.unibo.tuprolog.core.parsing.*",
         "it.unibo.tuprolog.theory.parsing.*"
     ]
-}
+}

kt-math.json

@@ -1,23 +1,14 @@
 {
     "description": "Kotlin multi-platform port of java.math.*",
     "properties": [
-        {
-            "name": "v",
-            "value": "0.9.0"
-        },
-        {
-            "name": "v-renovate-hint",
-            "value": "update: package=io.github.gciatto:kt-math"
-        }
+        { "name": "v", "value": "0.9.0" },
+        { "name": "v-renovate-hint", "value": "update: package=io.github.gciatto:kt-math" }
     ],
     "link": "https://github.com/gciatto/kt-math",
-    "repositories": [
-        "https://repo1.maven.org/maven2"
-    ],
     "dependencies": [
         "io.github.gciatto:kt-math-jvm:$v"
     ],
     "imports": [
         "org.gciatto.kt.math.*"
     ]
-}
+}