All modules for which code is available

• gavel.dialects.base.parser
• gavel.logic.logic
• gavel.logic.problem
• gavel.logic.proof
• gavel.prover.base.interface
• gavel.prover.eprover.interface
• gavel.prover.hets.interface
• gavel.selection.selector