Skip to search formSkip to main contentSkip to account menu

Isabelle

Known as: Isabelle proof assistant, Isabelle (disambiguation), Isabelle software 
The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Ce memoire de synthese presente un premier chapitre de positionnements epistemologiques (pratiques langagieres, construction des… 
Review
2011
Review
2011
Remotely Operated Vehicles (ROVs) are powerful tools whose use has become common in many aquatic systems, for many purposes, from… 
Highly Cited
2006
Highly Cited
2006
We examined the hypothesis that the δ13C of benthic consumers is depleted in offshore, deeper waters where kelp and benthic… 
2005
2005
That humans exploit animals, often in cruel ways, is not open to doubt. Reponsibility for exploitation and cruelty lies… 
Highly Cited
2002
Highly Cited
2002
This paper investigates the financial characteristics and changes in performance of French companies involved in a leveraged buy… 
1997
1997
There are close relationships between art and social science. This is certainly one of the features which has attracted many… 
Highly Cited
1993
Highly Cited
1993
ML-style polymorphism can be generalized from a single-sorted algebra of types to an order-sorted one by adding a partially…