MathGraph is a automated theorem prover designed in scala.
sbt test
Please read CONTRIBUTING.md for details on our code of conduct, and the process for submitting pull requests to us.
- Baptiste Jacquemot - Initial author -
- Antoine Brunner
- Yanick Paulo-Amaro
This project is licensed under the MIT License - see the LICENSE.md file for details
- Our skills