Your name here
The first external integrated contribution is open
Accepted theorem, adapter, chapter, validation, and tooling work will be listed with a precise contribution summary and preferred credit.
Read the contribution process →People whose work has entered the repository
Contributors
This page lists integrated external contributions, not open proposals or locally compiling drafts. Organizers are listed separately.
Integrated work
How credit is recorded
Each accepted entry names the contributor and the concrete theorem, chapter, adapter, executable check, or tool improvement that entered the repository. Commit authorship and co-authorship are preserved in Git.
Become a contributor