Skip to content

Use axiom instead of variable for globals, consts #381

Use axiom instead of variable for globals, consts

Use axiom instead of variable for globals, consts #381

Annotations

1 warning

LeanAuto CI

succeeded Oct 23, 2024 in 5m 30s