tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

Causalean

technology1 mentionslast seen Sep 16, 2026

A foundational Lean library for causal inference holding 8,179 machine-checked definitions and theorems, developed with language-model assistance under human design and review.

Relationships 2

Causalean

Relationship

CausalSmithdepends onCausalean

95% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1