Description: PVS Prototype Verification System
Keywords: PVS Prototype Verification System theorem prover proving higher order logic subtypes
Science Math Logic and Foundations Software 网站
2024年12月26日
Prototype Verification System (PVS)