diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-09 15:11:01 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-09 15:11:01 -0500 |
| commit | 9a939deab1a788b29b573ae7fb72a6088a1d7edf (patch) | |
| tree | d403a57bac514c9e1320cdc171597c977b952ee0 /.clang-format | |
| parent | 060eedcd5fdb0316d323c4528402034629285b97 (diff) | |
(proof-new) Generalize single step helper in eager proof generator (#5046)
This allows single step proofs to have premises, closed by a SCOPE. This will be useful for array lemmas.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions