diff options
author | Jason Gross <jgross@mit.edu> | 2019-04-08 19:37:59 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-04-09 21:59:06 -0400 |
commit | f77357842ea3bfeb1f6cd7520e3dc9f31440c845 (patch) | |
tree | fdaf8b1a9818d1e98ad47b9fd4d5b1818f69e28d /README.md | |
parent | 067d1f14b03d83dcb1c0a60808919ceff6205836 (diff) |
Fix for Coq 8.8
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions