GitHub repository: philzook58/knuckledragger
Primary language: Python
Created: 2022-11-08T23:19:15Z
Description: Semi-Automated Python Proof Assistant