diff options
| author | Pierre-Marie Pédrot | 2020-04-28 16:43:10 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-28 16:43:10 +0200 |
| commit | 17a5e95cd38206d82a1ff83c1d155a9a26729495 (patch) | |
| tree | 2b2edeef6c6e5256e445e7945806ae066c7a3dda /_CoqProject | |
| parent | 3ff3c18031317dcd08bf081e55212617b8820647 (diff) | |
Add comment about decide equality dependence computation.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions