diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2015-11-29 13:30:28 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2015-11-29 13:30:28 -0500 |
| commit | d8080824a94e2c35a7e528a6dfab9f4b9eba4ff0 (patch) | |
| tree | c5fb9810240213118589bad8ca3138cadff9cf25 /_CoqProject | |
| parent | d3b5a7218726aa5d21b634aabac0e915bdfe1624 (diff) | |
Added roadmap of long term goals and current subtasks.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions