Stavan-Jain/QECLean

Formalization project on Quantum Error Correction in Lean

Latest release v4.30.0-rc2 · 4 May 2026

1 file for Claude Code: QECLean CLAUDE.md — 10,977 tokens loaded in every session.

Open on GitHub stavan-jain.github.io

42Stars on the repository

1Files it configures its agents with

10,977Tokens loaded in every session

1Agent configured

Instructions

QECLean CLAUDE.md CLAUDE.md C 10,977 tok

These files are Stavan-Jain/QECLean's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.