diff options
| author | coqbot-app[bot] | 2020-11-20 15:37:26 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-20 15:37:26 +0000 |
| commit | 614675fa5337cca0621ae7a65d4fd47a6ad8f788 (patch) | |
| tree | 69b1e6eae7ff97cae54d25e07bc8005beaca5747 /interp/constrextern.ml | |
| parent | 1aca82b3d8ff562b75a5a93a5910afd39c10ba3b (diff) | |
| parent | b832d484f7cf8e32cd231a079a6336f2b1b0bad4 (diff) | |
Merge PR #13425: [stm] [declare] Try to propagate safe bits of proof information
Reviewed-by: gares
Diffstat (limited to 'interp/constrextern.ml')
0 files changed, 0 insertions, 0 deletions