| -1740529014 | | k theorem prover This package needs documentation | fails | 6 |
| -1704805947 | | core of k theorem prover This package needs documentation This package needs license metadata | succeeds | 4 |
| -1660658293 | | documentation of k theorem prover This package needs license metadata | fails | 6 |
| -1660658294 | | examples of using k theorem prover This package needs documentation This package needs license metadata | fails | 6 |
| -1660658295 | | libraries of k theorem prover This package needs documentation This package needs license metadata | fails | 6 |
| -1660658296 | | Test of k This package needs documentation This package needs license metadata | fails | 6 |