Skip to content
verifiers

Reduce ax-pow and ax-un usage #8495

Sign in to view logs

Reduce ax-pow and ax-un usage

Reduce ax-pow and ax-un usage #8495

Annotations

1 warning

Verify using smetamath-rs (smm3) (Rust verifier by Stefan O'Rear)

Verify using smetamath-rs (smm3) (Rust verifier by Stefan O'Rear)
succeeded Dec 23, 2024 in 10s