Code — 2607.19276v1

1. Norine/AntipodalModule.lean3,032 bytes
2. Norine/Basic.lean11,417 bytes
3. Norine/ChainObstruction.lean8,074 bytes
4. Norine/Reproduction.lean1,963 bytes
5. README.md12,061 bytes
6. lakefile.lean6,917 bytes