diff options
| author | coqbot-app[bot] | 2020-12-14 08:33:20 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-14 08:33:20 +0000 |
| commit | d0667eb4a165c065b0d64069641ca0cd39d62219 (patch) | |
| tree | 537f10f5c59c7d2c99a1199e7d3f1b865a06cc38 /proofs | |
| parent | 2648803f31d4d8cbe18f7e69833702b7048b8dc2 (diff) | |
| parent | 92204c4c964c1699f2ad3c25104e97ddfc4cc73c (diff) | |
Merge PR #13613: [changes] mark #12765 as experimental
Reviewed-by: Zimmi48
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions