improve axiom detection heuristic in axiom_use.rs #598
Annotations
3 errors
|
|
|
metamath-rs/src/bit_set.rs#L63
match can be simplified with `.unwrap_or_default()`
|
|
|
This job was cancelled
Loading