diff options
author | Jason Gross <jgross@mit.edu> | 2019-01-30 23:04:35 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-02-02 18:22:15 -0500 |
commit | 6fbafbb3a90a5491103e0044042bfc726b9eab7b (patch) | |
tree | b7a733d1d46937b142a82f4e4010a50cda468a28 /coqprime | |
parent | 496271f86e9dc6df1b23a189d6b8fd2a82db33aa (diff) |
Address code review comments to improve docstrings
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions