accessory
发表于 2025-3-28 15:37:47
http://reply.papertrans.cn/63/6272/627176/627176_41.png
hemophilia
发表于 2025-3-28 22:21:19
is theory, providing some reflections on the tactics and strategies used to compose the proofs. According to our study, PVS provided more succinct definitions than Coq, in several cases, as well as a greater number of successful automatic commands that resulted in shorter proofs. Despite that, Coq a