- Proove automatically with given premises and a conclusion.
- Find some useful theorem using some basic properties
This project uses yarn berry with Plug'n'Play feature. Initial setup was done with Node.js v16.13.2.
To run the project, execute yarn run start in your terminal.
This project is copied from auto-differentiator, but many things were changed because of migration to yarn berry.