Geeks
wiio12
/
POETRY
Code for the paper: Proving Theorems Recursively
MIT License
MIT
POETRY GitHub
Markdown
Readme
0
Issues
11
Stargazers
1
Watcher
POETRY
Code for the paper: Proving Theorems Recursively