GitHub repository: BartoszPiotrowski/premises
Primary language: Python
Description: Python package for ML premise selection and ATP evaluation