GitHub repository: Hubert51/pyLemma
Primary language: Python
Description: A formal proof creating tool in Python