Support multi-binding var expressions in Lean backend
#404
| Job | Run time |
|---|---|
| 5m 58s | |
| 5m 58s |
var expressions in Lean backend
#404
| Job | Run time |
|---|---|
| 5m 58s | |
| 5m 58s |