TY  - RPRT
TI  - Capturing properties of planar diagrams in Lean proof assistant software
AU  - Alastair Litterick
AU  - Alexei Vernitski
AU  - Billy Woods
PY  - 2026
UR  - https://arxiv.org/abs/2511.13304
ID  - 2511.13304
ER  -