Isabelle-92(ID:2121/isa001)A generic theorem prover, supporting a wide variety of logics. A system of type classes allows polymorphic object-logics with overloading and automatic type inference. ftp://ftp.cl.cam.ac.uk/ml/92.tar.Z Places Structures: Related languages
Resources
|