Llm gpt codex lean tlfl i1/latest public surface - #4

Draft

kernelpanic888 wants to merge 15 commits into

mainfrom

llm-gpt-codex-lean-tlfl-i1/latest-public-surface

Commits on Jun 24, 2026

Add TLFL library passport
kernelpanic888
committed
b617360
Add Lean Zulip MWE
kernelpanic888
committed
97bbc75
Add standalone canonical passport MWE
kernelpanic888
committed
2056ee8
Add comparator passport split
kernelpanic888
committed
6fb2fc8
Add comparator passport copy helper
kernelpanic888
committed
58df2e4
Clarify comparator passport challenge and solution
kernelpanic888
committed
9bc8334
Show comparator passport proof-tail markers
kernelpanic888
committed
dd52dad
Add comparator challenge passport
kernelpanic888
committed
8f99a28

Commits on Jun 25, 2026

Fix Russian title spelling on mathematical board
kernelpanic888
committed
b6e2f38
Link public Lean passport from README
kernelpanic888
committed
c48bdd8
Refresh public branch owner metadata
kernelpanic888
committed
182a15f

Commits on Jun 28, 2026

Add monumental artifact publication node
kernelpanic888
committed
43ac755

Commits on Jun 29, 2026

Prepare v0.4.0 monumental artifact release
kernelpanic888
committed
fdbdb11
Add LinkedIn public announcement trace
kernelpanic888
committed
f73e45c

Commits on Aug 11, 2026

Merge branch 'main' into llm-gpt-codex-lean-tlfl-i1/latest-public-surface
kernelpanic888
authored
2b3b9fe