summaryrefslogtreecommitdiff
path: root/tests/coq/array
diff options
context:
space:
mode:
authorSon Ho2023-09-18 19:56:27 +0200
committerSon Ho2023-09-18 19:56:27 +0200
commit0eb62047b052cb4fbf842525170dd916679e8b7e (patch)
treeda155463273c10c9a66338d0cd2e96101d211f59 /tests/coq/array
parent28f4ea9ffe02d4204bb60273b6a77db7ed48781b (diff)
Simplify some lemmas and prove that the scalars and Vec are inhabited
Diffstat (limited to 'tests/coq/array')
0 files changed, 0 insertions, 0 deletions