L2 — practitioner

Level 2 · Practitioner

You can read a theory and follow a proof. What you want now is to know what the notation buys you: which choices are real choices, and which restrictions are the language telling you something true.

Subject	Page
Logic	logic.md
Agents	agent.md
Machine learning	ml.md
Reinforcement learning	learning.md
Minds	minds.md
Mathematics	maths.md

At this level a sample may open any Prelude module it needs, and may use notation L1 avoided — ⊤, ≠, sorts declared outside a theory, and proofs discharged by certificate rather than by law.