Reading Paths

Start with a question

Each path is a short guided sequence through the verified library. Six or seven chapters that collectively answer one question. Every step is a real manuscript page — not a summary — so you verify the argument as you read it.