Skip to content
CI

Utilize FFI to reconstruct cvc5 proofs in Lean. #364

Sign in to view logs

Utilize FFI to reconstruct cvc5 proofs in Lean.

Utilize FFI to reconstruct cvc5 proofs in Lean. #364

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
2m 48s
2m 48s