├── .gitignore ├── README.md ├── assets └── firacode.png ├── doc.assets ├── 1.jpeg └── 2.png ├── doc.md ├── maintest.scala ├── src └── main │ └── scala │ ├── core.scala │ ├── expr │ ├── atom.scala │ ├── eval.scala │ └── expr.scala │ ├── state.scala │ └── tracing.scala └── test_results.pdf /.gitignore: -------------------------------------------------------------------------------- 1 | .bloop/ 2 | .metals/ 3 | project/ 4 | target/ 5 | 6 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/README.md -------------------------------------------------------------------------------- /assets/firacode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/assets/firacode.png -------------------------------------------------------------------------------- /doc.assets/1.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/doc.assets/1.jpeg -------------------------------------------------------------------------------- /doc.assets/2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/doc.assets/2.png -------------------------------------------------------------------------------- /doc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/doc.md -------------------------------------------------------------------------------- /maintest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/maintest.scala -------------------------------------------------------------------------------- /src/main/scala/core.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/src/main/scala/core.scala -------------------------------------------------------------------------------- /src/main/scala/expr/atom.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/src/main/scala/expr/atom.scala -------------------------------------------------------------------------------- /src/main/scala/expr/eval.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/src/main/scala/expr/eval.scala -------------------------------------------------------------------------------- /src/main/scala/expr/expr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/src/main/scala/expr/expr.scala -------------------------------------------------------------------------------- /src/main/scala/state.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/src/main/scala/state.scala -------------------------------------------------------------------------------- /src/main/scala/tracing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/src/main/scala/tracing.scala -------------------------------------------------------------------------------- /test_results.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YuantianDing/HilbertProver/HEAD/test_results.pdf --------------------------------------------------------------------------------