I recommend looking into ACL2, an industrial-strength theorem prover that's used for software and hardware verification by companies like Arm, AMD, and Intel: h

I recommend looking into ACL2, an industrial-strength theorem prover that's used for software and hardware verification by companies like Arm, AMD, and Intel: https://www.cs.utexas.edu/users/moore/acl2/ https://www.cs.utexas.edu/users/moore/acl2/