support non-compressed proofs in axiom_use.rs #595
Annotations
3 errors
|
|
|
metamath-rs/src/bit_set.rs#L63
match can be simplified with `.unwrap_or_default()`
|
|
|
The logs for this run have expired and are no longer available.
Loading