Skip to content

design(research-overhaul): the register + the foundations — lexicon, claim ladder, deskcheck papers, laws ledger, Lean ladder (draft) - #47

Open
ascalva wants to merge 2 commits into
mainfrom
design/dn-research-register
Open

design(research-overhaul): the register + the foundations — lexicon, claim ladder, deskcheck papers, laws ledger, Lean ladder (draft)#47
ascalva wants to merge 2 commits into
mainfrom
design/dn-research-register

design(mathematical-foundations): the frame, the laws ledger, and the…

f907036
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
gitleaks
succeeded Aug 10, 2026 in 8s