Adapt w.r.t. coq/coq#19228. #217
JasonGrossAnnotations
10 errors and 10 warnings
|
3.11
at least two spaces before inline comment
|
|
3.11
at least two spaces before inline comment
|
|
3.11
at least two spaces before inline comment
|
|
3.11
at least two spaces before inline comment
|
|
3.11
line too long (165 > 127 characters)
|
|
3.11
module level import not at top of file
|
|
3.11
'torch.nn' imported but unused
|
|
3.11
module level import not at top of file
|
|
3.11
module level import not at top of file
|
|
3.11
module level import not at top of file
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|
|
3.11
trailing whitespace
|