diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-09-16 00:05:10 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-16 00:05:10 -0300 |
| commit | f58e7e32d99b9fda841ebfd0c29016c41a109bfe (patch) | |
| tree | 7279fc3cc22fcbebaa0356df81e2880cefdaee2d /src/options/main_options.toml | |
| parent | 8a126d59141d2889e3b10b07ece4b10f48511a71 (diff) | |
[proof-new] Resolution rules and checkers (#5070)
Diffstat (limited to 'src/options/main_options.toml')
0 files changed, 0 insertions, 0 deletions