Geeks
Simontwice
/
MagnusData
Premise Selection Data in Isabelle
Primary Language
Python
MagnusData GitHub
Markdown
Readme
2
Issues
10
Stargazers
1
Watcher
Watchers
Simontwice