GitHub repository: JWKennington/formality
Primary language: Python
Description: A collection of mathematical experiments