{
  "name": "ts-theorem-provinator",
  "version": "0.0.0",
  "description": "__",
  "main": "index.js",
  "repository": "__",
  "author": "Akshay Nair <phenax5@gmail.com>",
  "license": "MIT",
  "scripts": {
    "test": "tsc --noEmit"
  },
  "dependencies": {
    "typescript": "^5.3.3"
  }
}