Build & Research

Explore

Projects and research from the CloK community.

RESEARCH · Research project

Readable Formalized Mathematics: A Case Study

· Xinze Li & Simone Severini

Making formal verification as readable as possible through a case study of Hessenberg digraphs.

Explore project

RESEARCH · Preprint

The Network Structure of Mathlib

· Xinze Li, Nanyun Peng, Simone Severini & Patrick Shafto

Mapping the dependency structure of Mathlib.

Explore project

BUILD · VISUALIZER

Astrolabe

Explore the dependency structure of public Lean projects.

Open Astrolabe

BUILD · PUBLISHING

Infinity Archive

Read and publish mathematics as a network of connected statements.

Open Infinity Archive

RESEARCH · Dataset release

MesoMathematics

Proof-network data and analysis artifacts from a fixed Mathlib snapshot.

Explore project