diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-11-08 14:25:26 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-08 17:25:26 +0000 |
commit | d35d44fc3243a31f1429689c09360a3aa70c0bae (patch) | |
tree | 55473baa9f8c78996fa011ee924f01922c52d5cb /test | |
parent | 8e7b2778362ee10f5e4226b30efd1bc16e81bc6e (diff) |
[proofs] Adding NoSubtype node converter to Alethe (#7587)
Initial version. It'll be improved on demand according to new cases that may lead to issues.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions