This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Updated normal correspondence code to Lean 4 #121024
| Job | Run time |
|---|---|
| 7s | |
| 30s | |
| 8m 20s | |
| 58m 49s | |
| 19m 51s | |
| 0s | |
| 1h 27m 37s |
| Job | Run time |
|---|---|
| 7s | |
| 30s | |
| 8m 20s | |
| 58m 49s | |
| 19m 51s | |
| 0s | |
| 1h 27m 37s |