Skip to content
Check formatting

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

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) #1989

Triggered via pull request February 5, 2025 17:16
@benjaminselfridgebenjaminselfridge
synchronize #954
GaloisInc:feature/lean_external_arith
Status Success
Total duration 34s
Artifacts –

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in