Fix typing for add_axiom arguments in __init__.pyi, #36 (#37) #81
b-gehrkeArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
pytest-results-3.10
|
1.24 KB |
|
|
pytest-results-3.11
|
1.24 KB |
|
|
pytest-results-3.8
|
1.22 KB |
|
|
pytest-results-3.9
|
1.23 KB |
|
|
wheels-linux-ppc64le
|
2.48 MB |
|
|
wheels-linux-s390x
|
2.98 MB |
|
|
wheels-linux-x86
|
2.46 MB |
|
|
wheels-linux-x86_64
|
2.39 MB |
|
|
wheels-macos-aarch64
|
2.14 MB |
|
|
wheels-macos-x86_64
|
2.28 MB |
|
|
wheels-musllinux-aarch64
|
2.44 MB |
|
|
wheels-musllinux-armv7
|
2.48 MB |
|
|
wheels-musllinux-x86
|
2.5 MB |
|
|
wheels-musllinux-x86_64
|
2.52 MB |
|
|
wheels-sdist
|
175 KB |
|
|
wheels-windows-x64
|
2.23 MB |
|