RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.
7 results for "Agda"
A_2_12 — Pistis Sophia: Gnostic Cosmology of Light and Redemption
The Pistis Sophia ("Faith Wisdom") is a major Gnostic text preserved in the Askew Codex (British Library, Add. MS 5114), a 4th–5th century CE Coptic manuscript containing four books of post-resurrection teachings attribu
A_3_08 — Celtic Mythology and Druidic Tradition
Celtic mythology encompasses the religious narratives, cosmological concepts, and heroic legends of the Celtic-speaking peoples who dominated much of western and central Europe from the Hallstatt period (c. 800 BCE) thro
U_5_21 — Upper Paleolithic Art: Cave Painting, Portable Art, and Symbolic Cognition
Upper Paleolithic art — spanning approximately 45,000 to 10,000 years ago — represents the earliest unambiguous evidence of complex symbolic cognition in Homo sapiens. The corpus includes parietal (cave wall) art at over
W_5_02 — Celtic and Druidic Traditions
The Celtic peoples — a linguistic and cultural group spread across Europe from Anatolia to Ireland between roughly 800 BCE and 400 CE — developed one of the most sophisticated pre-literate knowledge systems in the Wester
INTERDOC_25 — The Sacred Feminine: Suppression, Survival, and Recovery
Venus figurines — over 200 carved female forms dating from ~40,000–11,000 BCE, found from Western Europe to Siberia — represent the oldest known figurative art tradition. The Venus of Hohle Fels (~40,000 BCE, Germany) is
D_4_06 — Lascaux Cave: Paleolithic Art and Astronomical Interpretation
Lascaux Cave — located in the Vézère Valley near Montignac in the Dordogne region of southwestern France — is one of the most celebrated Paleolithic painted caves in the world. Discovered on September 12, 1940, by four t
ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence
Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t
BROWSE BY SECTION — 3,721 documents across 34 fields