diff options
| author | beta | 2020-11-25 22:34:43 -0300 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-26 11:09:58 +0100 |
| commit | 7395f5a7f86de3181df8b2a73f84f815447b745d (patch) | |
| tree | 82294e34709531c5e1e34ade420eb3f48872c9c0 /dev/tools | |
| parent | 270b2be49e9cdc70936cec8495c53602bcf40f57 (diff) | |
extracting API for comparing universes of constants/inductives/constructors
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions