Spaces:
Paused
Paused
Upload package.json
Browse files- package.json +1 -1
package.json
CHANGED
|
@@ -1,5 +1,5 @@
|
|
| 1 |
{
|
| 2 |
-
"name": "
|
| 3 |
"version": "1.0.0",
|
| 4 |
"description": "proof solver",
|
| 5 |
"main": "api.js",
|
|
|
|
| 1 |
{
|
| 2 |
+
"name": "n-exec",
|
| 3 |
"version": "1.0.0",
|
| 4 |
"description": "proof solver",
|
| 5 |
"main": "api.js",
|