javra / szumification

Formalization of Szumification and its correctness

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

javra/szumification Issues

No issues in this repository yet.