Skip to content

Support multi-binding var expressions in Lean backend #1906

Support multi-binding var expressions in Lean backend

Support multi-binding var expressions in Lean backend #1906

Annotations

4 warnings

Boogie CI (Debug, batch_mode=True)

succeeded Nov 13, 2024 in 5m 1s