A person's reasoning written as a tree of topics, each part with a checker: Lean first, and a model that interprets and guides. Builds on reader-ergonomics-topic.
Python Updated about 14 hours ago 1 commits
axiom-bot|Mirror: Tewf/reader-ergonomics-blueprint (⭐0)
about 14 hours agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
A person's reasoning written as a tree of topics, each part with a checker: Lean first, and a model that interprets and guides. Builds on reader-ergonomics-topic.
Readme