diff options
author | Son HO | 2024-06-12 18:34:33 +0200 |
---|---|---|
committer | GitHub | 2024-06-12 18:34:33 +0200 |
commit | 216df2a1abeb944b3143476c1e4753cd6c71645f (patch) | |
tree | aa14af61056233f309cdedf138604f7ac0ba443f /tests/lean/misc | |
parent | e60d525fe3dffa035d2a551af624747dca6e1c1e (diff) | |
parent | d36736fa4e7eb9f42f35303b8080d17ddbee92d2 (diff) |
Merge pull request #241 from AeneasVerif/son/tactics
Do minor improvements to the Lean backend
Diffstat (limited to 'tests/lean/misc')
0 files changed, 0 insertions, 0 deletions