An attempt to generate Coq proofs using RNN
Primary LanguagePython
https://xide.github.io/AutoMaths/
Documentation can be found Here.