Development

Extend ir_axioms and contribute

• Developing axioms: Turn an intuition into a new axiom.
• Contributing: Set up a development environment, run the checks, and build this documentation.
• Roadmap: Feature ideas, known bugs, and cleanup work you could help with.

If you are unsure about anything, post an issue or contact us at heinrich.merker@uni-jena.de. We are happy to help!