diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-12-11 18:58:13 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-11 18:58:13 -0300 |
| commit | 8d0de294c259e789a149bc5ceb5d6501868e83d0 (patch) | |
| tree | d714a7b920fc369bbbe3d37730fc4a6edeedde0e /src/main/main.cpp | |
| parent | 49215e6948aba1d6b762e28a7293581e25c2df8c (diff) | |
[proof-new] Updating theory proxy to new proof infrastructure (#5653)
Diffstat (limited to 'src/main/main.cpp')
0 files changed, 0 insertions, 0 deletions