trishullab/proof-wala

Library for interaction with proof-environments, proof search and training of transformers for proof-step prediction

语言：Python · GitHub 星标：9 · Fork：0

在 GitHub 上查看原仓库