GitHub repository: trishullab/proof-wala
Primary language: Python
Description: Library for interaction with proof-environments, proof search and training of transformers for proof-step prediction