Support multi-binding var expressions in Lean backend
#405
| Job | Run time |
|---|---|
| 6m 3s | |
| 6m 3s |
var expressions in Lean backend
#405
| Job | Run time |
|---|---|
| 6m 3s | |
| 6m 3s |