First-Order Logic Theorem Prover
Contributions are welcome! Please see our contributing guidelines for details on:
- Code style and testing requirements
- Submitting bug reports and feature requests
- Development setup and workflow
This project is licensed under MIT. See LICENSE for details.