OUR MISSION
Understand and Guide Mathematical Research
CloK brings the structure of mathematical knowledge into view, helping people understand what is known and find promising directions for discovery.
Mathematics grows when ideas connect. A definition can open a new language, a proof can bring other results within reach, and a question can reveal a direction no one has yet explored.
We want to make these relationships easier to see, across individual arguments, entire libraries, and different ways of expressing mathematics. CloK aims to help researchers understand what they can build on, how ideas fit together, and which questions are worth pursuing.
Our starting point is formalized mathematics, where reasoning can be checked and its foundations traced. We bring mathematical insight and computational tools together to extend human judgment and curiosity.