blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

Isabelle — latest news, discussion & facts — IJR

Isabelle

Topic

Isabelle

higher-order logic (HOL) proof assistant

0members1here now

Ask Genius Site

Feed Discussions About

Loading

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

About Isabelle

The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As a Logic for Computable Functions (LCF) style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring, yet supporting, explicit proof objects.

0

members

1

here now

Inception: 1986
Website: http://isabelle.in.tum.de/

Everything about Isabelle →

Live room · 1 here

Be the first in the room — members see you arrive.

Facts from Wikidata (CC0). Image by University of Cambridge et al. via Wikimedia Commons (BSD).

Not who you're looking for? Others named Isabelle: female given name · partially built particle accelerator in the United States · Belgian comic series · 2018 artwork by Julian Voss-Andreae