H ? « »

Language peer sets for Isabelle-92:
United Kingdom
United Kingdom/1992
Designed 1992
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: United Kingdom
Designed 1992

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

Related languages
Isabelle-91 Isabelle-92   Evolution of
Isabelle-92 Isabelle-93   Evolution of

  • Extract: from the release notes

Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder