Topic
Free account · your comment posts right after signup
The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an 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.
Read the full article →Not who you're looking for? Others named Isabelle: female given name · partially built particle accelerator in the United States · 2018 artwork by Julian Voss-Andreae · 2018 film directed by Rob Heydon