RSS 1 project tagged "Mac OS X"

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 68.62
Vit 3.17

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

Screenshot

Project Spotlight

C-ICAP Classify

An AI content filter.

Screenshot

Project Spotlight

Classing{js}

A library that mimics the classical OOP style in JavaScript.