Lightweight interactive theorem prover in the HOL family, created by John Harrison for formal verification.
Competing Products
University of Cambridge
Leading UK public research university in Cambridge, founded in 1209.
Founded
1209Leading UK public research university in Cambridge, founded in 1209.
Founded in 1209, the University of Cambridge is a leading public research university in Cambridge, England. As the world's third-oldest university in continuous operation, its core mission is to contribute to society through the pursuit of education, learning, and research at the highest international levels of excellence. The university offers a wide range of undergraduate and postgraduate programs across various disciplines and is known for its rigorous academic standards and innovative research. Cambridge's market focus includes global students, researchers, and academic professionals.
Notable affiliated individuals include numerous Nobel laureates, prominent scientists, and influential leaders across various fields. The university's endowment stands at £7.802 billion as of 2022, reflecting robust financial health and support from a global network of alumni and benefactors. Key achievements include groundbreaking research contributions in science, technology, humanities, and social sciences. The overall impact of the University of Cambridge is profound, shaping global academic standards and driving innovation across multiple sectors.
Companies similar to University of Cambridge include Harvard University, University of Southampton, Yale University and Cornell University.
University of Cambridge was founded in 1209.
University of Cambridge's headquarters is located in Cambridge, Cambridgeshire, GB.
University of Cambridge's most recent funding round was for £770k (GBP) in June 2023.
As of Jun 13, 2023, University of Cambridge has raised a total of £110.8M (GBP).
University of Cambridge has 60,000 employees as of Feb 10, 2024.
Yale University
yale.edu
