Geeks
quackmyheart
/
automated-theorem-penguin
penguins are cute but aren't birds!
Primary Language
Python
automated-theorem-penguin GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
automated-theorem-penguin
penguins are cute but aren't birds!