Geeks
Xide
/
AutoMaths
An attempt to generate Coq proofs using RNN
Primary Language
Python
AutoMaths GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Stargazers
Tridu33