Add proof for Result method check_unwrap_unchecked
#62
| Job | Run time |
|---|---|
| 11m 5s | |
| 11m 10s | |
| 22m 15s |
check_unwrap_unchecked
#62
| Job | Run time |
|---|---|
| 11m 5s | |
| 11m 10s | |
| 22m 15s |