Lean repository linked

Complex Lines with Restricted Angles

Aidan Roy · 2013

arXiv:1306.0978 · arXiv

Lean formalisations (1)

JD-Jones-ASES/finite-quantum-designs-lean at `5938504ecc63`

Linked by the repository’s formalization.yaml.

Project review: self-assessed

Audit: awaiting publication.

Report this listing