diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-08-01 13:22:21 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-08-01 13:22:21 -0700 |
| commit | 212b073990426dccd8799294c583e2e58a015463 (patch) | |
| tree | 546ae1c8fc26f3f73f71e94bc49072caf598191a /CONTRIBUTORS | |
| parent | b92653291b6ac977d2bf1b72420d686580adf2f4 (diff) | |
Add documentation: Equality, HProp, Isomorphism, Sigma (#41)
* Add doc: Equality, HProp, Isomorphism, Sigma
* Update documentation with suggestions from Andres
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions