Amit kumar sharma
Results
1
comments of
Amit kumar sharma
Testing proofs of OCP CIS Benchmark 1.6 and 1.8 [ocp_1_6_output.txt](https://github.com/user-attachments/files/22898402/ocp_1_6_output.txt) [ocp_1_8_output.txt](https://github.com/user-attachments/files/22898403/ocp_1_8_output.txt)