Add lemmas for easy measure/size induction.
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:04:58
|  | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:00
| | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:01:25
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:48
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:07
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:53
| | Stage: build |
Download artifacts
No artifacts found | |
Failed 00:03:27
| | Stage: build |
Download artifacts
No artifacts found | |
Failed 00:03:43
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:07:05
| | Stage: build |
Download artifacts
No artifacts found | |
