aboutsummaryrefslogtreecommitdiff
path: root/src/Encoding/EncodingTheorems.v
Commit message (Expand)AuthorAge
* proved most of point encoding admits, fixed some build system issues (dead im...Gravatar Jade Philipoom2016-02-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 05:47:28 +0000