knaster tarski example #386
Annotations
9 errors and 10 warnings
|
Run ty
Process completed with exit code 1.
|
|
Run ty:
src/kdrag/tactics.py#L1589
Argument is incorrect
|
|
Run ty:
src/kdrag/tactics.py#L1577
Argument is incorrect
|
|
Run ty:
src/kdrag/tactics.py#L1573
Argument is incorrect
|
|
Run ty:
src/kdrag/tactics.py#L1533
Argument is incorrect
|
|
Run ty:
src/kdrag/tactics.py#L1522
Argument is incorrect
|
|
Run ty:
src/kdrag/tactics.py#L797
Argument is incorrect
|
|
Run ty:
src/kdrag/tactics.py#L788
Argument is incorrect
|
|
Run ty:
src/kdrag/hypothesis.py#L242
No argument provided for required parameter `**kwargs`
|
|
Run ty:
src/kdrag/parsers/microlean.py#L138
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/notation.py#L359
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/notation.py#L308
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/notation.py#L303
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/notation.py#L302
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/notation.py#L298
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/notation.py#L285
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/kernel.py#L90
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/contrib/pcode/__init__.py#L753
Unused blanket `type: ignore` directive
|
|
Run ty:
src/kdrag/contrib/fast/__init__.py#L56
Unused blanket `type: ignore` directive
|
Loading