Skip to content
Test coverage

Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) #2042

Sign in to view logs

Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality)

Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) #2042

build (5.2.1, ubuntu-24.04)

build (5.2.1, ubuntu-24.04)
succeeded Feb 5, 2025 in 23m 19s