Stavan-Jain/QECLean

Formalization project on Quantum Error Correction in Lean

40Stars on the repository
2Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

QECLean CLAUDE.md

01

Stavan-Jain/QECLean

Instructions file

Instructions for Stavan-Jain/QECLean, covering claude.md — agent orientation, two-repo layout, where to look for what, project tour and naming and style conventions.

40 5d ago C 9,093 tokens original Apache-2.0