GitHub repository: proofscape/pise
Primary language: Python
Description: PISE, the Proofscape Integrated Study Environment