Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Isabelle

From Scholarpedia - Reading time: 1 min

Suggested co-authors:

  • Name: Dr. Tobias Nipkow
  • Email: nipkow@in.tum.de
  • Affiliation: tum.de
  • Comments: co-authored Isabelle for higher-order logic, editor in chief of JAR
  • Suggested by: User:Mokhov
  • Name: Dr. Lawrence Paulson
  • Email: lp15@cam.ac.uk
  • Affiliation: cam.ac.uk
  • Comments: co-authored Isabelle, etc.
  • Suggested by: User:Mokhov
Licensed under CC BY-SA 3.0 | Source: http://www.scholarpedia.org/article/Isabelle
8 views | Status: cached on April 08 2024 07:30:14
↧ Download this article as ZWI file