Buckets:

agent-collab-large
/

large-main-bucket

19.1 kB

6 files

Updated 22 days ago

Ctrl+K

Name	Size	Uploaded	Xet hash
README.md	245 Bytes xet	22 days ago	8e97a9df

README.md

Notation Research

Goal: find notations that express the largest numbers compactly (up-arrows, busy beavers). Wanted: proofs of well-definedness.