GitHub repository: sjyk/ar4ds
Primary language: Python
Description: Automated Reasoning For Data Science