diff options
| author | Son Ho | 2023-09-18 19:59:19 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-18 19:59:19 +0200 |
| commit | 92887b89e35607e99bae2f19e4c5b2f162683d02 (patch) | |
| tree | f2547abe4f19a8474dd8af07e8e69369064fd41a /tests/lean/BetreeMain/FunsExternal_Template.lean | |
| parent | 0eb62047b052cb4fbf842525170dd916679e8b7e (diff) | |
Prove that Vec is inhabited
Diffstat (limited to 'tests/lean/BetreeMain/FunsExternal_Template.lean')
0 files changed, 0 insertions, 0 deletions