cubical-transport-hott-lean4

12 commits 3 branches 0 tags 2.1 MiB

Author	SHA1	Message	Date
Maximus Gorog	d9f952fa6c	Reorganize: move non-README docs into docs/ subfolder Some checks are pending Lean Action CI / build (push) Waiting to run Details Standard convention: README.md at root, everything else in docs/. Engine docs/: FFI_DESIGN, FFI_COMPLETENESS, KERNEL_BOUNDARY, NUMERICAL, PHASE1_HISTORY, ZIGZAG_PORT. README.md links updated to docs/<name>. Cross-repo reference in NUMERICAL.md (to topolei's STATUS.md) now includes the relative path `../topolei/docs/STATUS.md`. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-04-27 22:57:10 -06:00

Author

SHA1

Message

Date

Maximus Gorog

d9f952fa6c

Reorganize: move non-README docs into docs/ subfolder

Lean Action CI / build (push) Waiting to run

Details

Standard convention: README.md at root, everything else in docs/.

Engine docs/: FFI_DESIGN, FFI_COMPLETENESS, KERNEL_BOUNDARY, NUMERICAL,
PHASE1_HISTORY, ZIGZAG_PORT.  README.md links updated to docs/<name>.
Cross-repo reference in NUMERICAL.md (to topolei's STATUS.md) now
includes the relative path `../topolei/docs/STATUS.md`.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

2026-04-27 22:57:10 -06:00

Renamed from FFI_DESIGN.md (Browse further)

1 commit