Research project · Code
Readable Formalized Mathematics: A Case Study
Making formal verification as readable as possible through a case study of Hessenberg digraphs.
Research & resources
Open Research
Explore the papers, code and datasets shared by the CloK community.
Explore project
Preprint · Paper / Code / Dataset
The Network Structure of Mathlib
Mapping the dependency structure of Mathlib.
Dataset release
MesoMathematics
Proof-network data and analysis artifacts from a fixed Mathlib snapshot.
Available materials and licenses are listed with each project.