H ? « ‹ ← → › »

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

Isabelle-92(ID:2121/isa001)

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

Places
Structures:
Related languages
Isabelle-91 → Isabelle-92   Evolution of
Isabelle-92 → Isabelle-93   Evolution of

Resources
  • 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