Geeks
williamma12
/
dataframe_proofs
Primary Language
Coq
dataframe_proofs GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Some dataframe proofs
