WORKSPACE 01
Theorem Proving
Keep the original target and open obligations in view as you explore and compare proof attempts.
Explore a theoremPROBABILISTIC DELIBERATION MACHINE
Explore the possibilities.
Keep the evidence.
A workspace for difficult questions. Construct alternative approaches, challenge their assumptions, and follow the evidence to a result you can inspect.
WORKSPACE 02
General Deliberation
Compare hypotheses and algorithms, run bounded experiments, and retain the objections that a polished answer might hide.
Investigate a questionConfidence guides search. Evidence supports conclusions.
Watch ideas branch, test each path, and see how the strongest answer takes shape.