dump formulas as s-exprs #619
Annotations
8 errors
|
|
|
metamath-rs/src/grammar.rs#L1097
use of `ok_or` followed by a function call
|
|
metamath-rs/src/grammar.rs#L1101
use of `ok_or` followed by a function call
|
|
metamath-rs/src/grammar.rs#L1110
use of `ok_or` followed by a function call
|
|
metamath-rs/src/verify.rs#L62
first doc comment paragraph is too long
|
|
metamath-rs/src/verify_markup.rs#L519
first doc comment paragraph is too long
|
|
metamath-rs/src/verify_markup.rs#L526
first doc comment paragraph is too long
|
|
|
The logs for this run have expired and are no longer available.
Loading